satchmo-minisat系列以下为：作为satchmo后端的minisat驱动程序

此驱动程序调用minisat（下载自http://minisat.se网站/)解决satchmo产生的CNF-SAT约束

模块

[索引]

下载

• satchmo-minisat-1.3.tar.gz[浏览]（Cabal源包）
• 程序包描述（如包装中所含）

维修人员角落

包装维护人员

• 约翰内斯·沃尔德曼

对于包维护者和黑客托管者

• 编辑程序包信息

候选人

• 没有候选人