./math/py-smt, Library for SMT formula manipulation and solving

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2021Q4, Version: 0.9.0, Package name: py39-smt-0.9.0, Maintainer: pkgsrc-users

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...

Master sites:

Filesize: 1103.846 KB

Version history: (Expand)