|
[ 新闻 |下载 |旧版本 |许可证 |实验 |资源 ]
PicoSAT卫星
新建965版,看见新闻.
[ picosat-965.tar.gz公司 ]
[ 对勾 ]
通过965版，我们支持将PicoSAT纳入R项目感谢Christoph M¨ssel（请参阅BoolNet公司),这也导致了与指针用法相关的更干净的代码差异。全差分约束代码部分复活了（多亏了Himanshu Jain）。我们还为我们的新的通用增量SAT解算器接口伊帕西尔。小时在上一次的增量跟踪中使用SAT比赛'15.
960版修复了Stefan Hengelein发现的几个问题。和957版本包含几个针对Rüdiger Ehlers报道的“picosat_deref_partial”。
版本953变为可重入。这允许多个PicoSAT实例。这将更改大多数API函数这首先需要一个额外的PicoSAT管理器对象参数。在954版中，我们定义了宏PICOSAT_REENTRANT_API公司在头文件中。上一个951版是一个清理版本，它包含了唐纳德·科努斯（Donald Knuth）。
有关更多详细信息，请参阅新闻并发送至2010年SAT竞赛系统描述也发布为FMV技术报告10/1.
API在关于使用高性能SAT和QBF解决方案, (tptpa11satdemo.zip)作为的一部分定理程序分析证明工具（TPTPA’11），一个教程与位于同一位置流行'11.头文件皮科萨。小时有大量文件作为好。
PicoSAT有三种出版物：较长的文章在里面JSAT公司和a短的纸张在控制重新启动.在我们的FMCAD’08论文中一致性检查中位向量上的所有不同约束SAT解算器我们描述了PicoSAT是如何扩展到处理所有不同的约束都是象征性的。
请使用PicoSAT卫星文章用于引用。
PicoSAT可以通过压缩在内存中生成证据和核心证明痕迹。它支持的证明格式为跟踪检查.
[ picosat-960.tar.gz地图 ]
[ picosat-959.tar.gz公司 ]
[ picosat-957.tar.gz型 ]
[ picosat-954.tar.gz型 ]
[ picosat-953.tar.gz型 ]
[ picosat-951.tar.gz型 ]
[ picosat-936.tar.gz ]
[ picosat-913.tar.gz公司 ]
[ picosat-846.tar.gz ]
[ picosat-632.tar.gz公司 ]
[ picosat-535.tar.gz ]
PicoSAT使用MIT风格的许可证。本质上，您可以使用和如果您确认源代码中的软件源代码。更多详细信息可以是在中找到许可证来的文件来源。
SAT问题是经典的NP完全问题在中搜索命题公式的一个令人满意的赋值合取范式（CNF）。SAT的一般信息可以是在找到www.cs.ubc.ca/~hoos/SATLIB网站.我们受邀的谈话A短裤SAT解算器技术的历史和下一步是什么？描写PicoSAT的一些新功能。中使用的实验数据本次演讲有Biere-SAT07-通话实验.tar.bz2（14 MB）。
PycoSAT卫星Ilan Schnell为PicoSAT编写的python绑定。
PyEDA公司具有Chris Drake的PicoSAT绑定。
PiGoSAT卫星去吧William Schwartz为PicoSAT设计的绑定。
|
