使用sat oracles进行原型设计的python库
python-sat的Python项目详细描述
一个python库提供了一个简单的接口，可以访问许多最新技术 布尔可满足性（SAT）解算器和几种类型的基数 伪布尔编码。pysat的目的是让研究人员 sat技术及其在简易原型中的应用与推广 使用python中的sat oracles，同时逐渐利用 现代SAT解算器的原始低级实现。
使用pysat，您应该很容易实现maxsat解算器， mus/mcs提取器/枚举器，或任何解决应用程序问题的工具 使用SAT甲骨文（可能有多种用途）。
详情可在https://pysathq.github.io找到。
欢迎加入QQ群-->： 979659372
