pysat:Python中基于SAT的原型制作工具套件

【文件属性】：
文件名称：pysat:Python中基于SAT的原型制作工具套件
文件大小：3.75MB
文件格式：ZIP
更新时间：2021-05-14 01:44:42
Python PySAT：Python中的SAT技术 PySAT是一个Python（2.7，3.4+）工具箱，旨在为许多最新的求解器以及各种基数和伪布尔编码提供一个简单统一的接口。 PySAT的目的是使从事SAT及其应用和归纳的研究人员能够轻松地使用Python中的SAT oracle进行原型设计，同时逐步利用现代SAT求解器的原始低级实现的功能。 在解决问题的时候PySAT可以帮助也 。 例如，当需要快速实现MaxSAT求解器，MUS / MCS提取器或枚举器，基于抽象的QBF求解器或使用（可能是多个和/或增量式）解决应用程序问题的任何其他类型的工具时，PySAT十分方便。 ）使用SATOracle。 特征 PySAT集成了许多广泛使用的最新SAT求解器。 所有提供的求解器都是与PySAT一起安装的原始低层实现。 请注意，求解器的源代码不是项目源代码树的一部分，而是在每次安装PySAT时下载并打补丁