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

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

Branch: pkgsrc-2021Q1, Version: 0.9.0, Package name: py38-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:

SHA1: 37dd2bed1de65039b87db2c6538ba39ae76a38bd
RMD160: ebf5be54396134910a95b1d05caa4aec693c8a3b
Filesize: 1103.846 KB

Version history: (Expand)