PySMT公司

PySMT:一个求解器无关的库,用于基于smt的算法的快速原型化。pySMT:一个用于SMT公式操作和求解的库http://www.pysmt.org。pySMT:用于SMT的Python API:pySMT使可满足性模理论的工作变得简单:以一种简单、直观和独立于解算器的方式定义公式;解决你的公式使用一个本机解决方案,或包装任何SMT-Lib投诉解决程序,将你的问题以SMT-Lib格式转储,等等。。。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换