![](/statics/img/blank.png)
XML-SAT
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/xml-sat/files/release/xml-sat-0.1.zip/download
关于 XML-SAT
基于迷你卫星的模块化 SAT 解算器。这些模块在XML文件中进行描述,这些文件由 perl 脚本处理;从而生成 n 解算器。
相关软件
-
TimeSignalForDroid 免费
每小时一小时,通过振动通知您。注意时间到日本的声音。
-
SVATS 免费
SVATS [安全验证分析添加到香料] 是一个 Pyhton 书面 EDA 工具,用于添加重复分析功能,使用伯克利香料模拟模拟 SW 在模拟和混合模拟数字电子电路上执行 FMEA
-
Cube Language Specification 免费
多维数据集语言是新的编程语言,基于新的建议:多维编程。此项目的目的是邀请专业人士参加有关语言的公开讨论并创建规范。
-
Arrowhead Collector 免费
箭头表面收集器的"必须具有"应用程序。以下是您会发现非常有用的功能的亮点:- 对于新发现的神器记录其位置与您的手机的GPS- 拍摄"原位"照片,以后可以添加照片- 分配关键字,按工件类型、火石材料、网站等组织收藏。- 对于已找到的工件,请使用地图选择找到它的位置- 在卫星地图上显示所有文物- 按关键字筛选显示的工件- 使用"带我去那里"功能在地图上显示项目以及您当前的位置能够随时保留您的整个收藏!
-
eYe project 免费
eYe 项目是 Sambar Webserver、MySql 数据库和 Php 在 Windows 环境中的分布。已配置完整,随时可以使用。此项目中也有很多模块可供使用。其概念是设置一个完整的 Web 数据库服务器
-
Apache Analyzer 免费
Apache 分析器是一个用于分析和分析 Apache 日志的 Java 应用程序包。报表以 PDF 文件格式准备。OCEAN GenRap 用于分析数据。在文档页面中查看"一般信息"。
-
OVal - object validation framework 免费
OVal 是 Java 5 或更晚的可扩展对象验证框架。注释(@NotNull)或 XML 配置文件可用于表示类约束。OVal 可以选择使用 AspectJ 强制实施自动验证 (DbC)
-
NaturalOWL 免费
NaturalOWL 从 OWL 生成对个人和类的描述,这些日志已使用 RDF 中表示的语言和用户建模资源进行注释。目前它支持英语和希腊语。自然OWL可以用作Protg插件。
-
NetBeans Source Viewer Service Plugin 免费
NetBeans 插件公开了一个简单的 TCP 服务,为外部客户端提供了基本的 Java 源代码查看和导航功能。由softwarepearls.com贡献。由伊沃 · 特里普诺维奇和劳伦斯 · 范赫尔苏编码。
-
Spam Agent - SMS Filter 免费
厌倦了短信垃圾邮件?垃圾邮件代理是一种智能 SMS 筛选器,它使用机器学习技术来检测和阻止垃圾邮件。忘记繁琐的黑名单,只需将未经请求的邮件标记为垃圾邮件,代理就会从您的操作中学习。用的越好,越好!来自 190 个国家的数千名 Symbian 用户已经在使用此应用程序来对抗短信垃圾邮件。如有任何疑问或意见,请随时与我们联系。您也可以在 10 月查看我们的 faq: http://www.mobilespamagent.com/blog/faqs/K