The math/pypysmt,python3 port
py3PySMT0.8.0p2 – library for SMT formulae manipulation and solving
Description
pySMT makes working with Satisfiability Modulo Theory simple.
Among others, you can:
* Define formulae in a solver independent way in a simple and
inutitive way,
* Write adhoc simplifiers and operators,
* Dump your problems in the SMTLib format,
* Solve them using one of the native solvers, or by wrapping any
SMTLib complaint solver.
WWW: http://www.pysmt.org
 Categories:

lang/python
math
Library dependencies
Build dependencies
Run dependencies