1ab4461c13
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 ad-hoc simplifiers and operators, * Dump your problems in the SMT-Lib format, * Solve them using one of the native solvers, or by wrapping any SMT-Lib complaint solver. feedback and ok kn@
3 lines
110 B
Plaintext
3 lines
110 B
Plaintext
SHA256 (PySMT-0.8.0.tar.gz) = bMrInyIFLwsS84Rzgu/pTQ+9qV8zl4ryn0867l7w4nA=
|
|
SIZE (PySMT-0.8.0.tar.gz) = 254178
|