介绍

战利品 超小卫星是一个极简的开源SAT解算器,旨在帮助研究人员和开发人员开始SAT。它是根据麻省理工学院的许可证发布的,目前在许多项目(见“链接”)。在这个页面上你可以找到二进制文件,源代码,相关文件和项目超小卫星,包括伪布尔解算器迷你卫星+以及CNF最小化器/预处理器卫星. 卫星,超小卫星最近三次获奖工业的类别和“精心制作”类别之一2005年SAT竞赛(见图)。

的一些关键特性超小卫星:

我们想建立一个社区来帮助传播关于如何使用和修改超小卫星. 有什么问题,意见,错误报告,错误修复等应该被指导ministat@googlegroups.com. 这个档案可以浏览在这里.miniat2.2的源代码存储库位于github.

-尼格拉斯和尼格拉斯

新闻

从新到老。。。