blob: 17c4514fec298800887fb3db2e21d8780c0be852 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
pySMT is a solver-agnostic library for SMT Formulae manipulation and
solving.
pySMT makes working with Satisfiability Modulo Theory simple:
- Define formulae in a simple, intuitive, and solver independent way
- Solve your formulae using one of the native solvers, or by wrapping
any SMT-Lib compliant solver,
- Dump your problems in the SMT-Lib format,
- and more...
|
