基于迷你卫星的模块化 SAT 解算器。这些模块在XML文件中进行描述，这些文件由 perl 脚本处理;从而生成 n 解算器。
版本历史记录
- 版本 release 发布于 2010-04-24
若干修复和更新 - 版本 N/A 发布于 2010-04-24
软件信息
- 软件分类： 发展 > 其他
- 发布者： xml-sat.sf.net
- 许可： 免费
- 价格： N/A
- 版本： Array
- 适用平台： linux
基于迷你卫星的模块化 SAT 解算器。这些模块在XML文件中进行描述，这些文件由 perl 脚本处理;从而生成 n 解算器。