./math/py-pysmt [library for SMT formulae manipulation and solving]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 0.8.0, Package name: py-PySMT-0.8.0
Maintained by: The OpenBSD ports mailing-list
Master sites:
Flavors (export FLAVOR=xyz, setenv FLAVOR xyz):
  • python3
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.

Filesize: 248.221 KB
Version History (View Complete History)
  • (2019-06-07) Package added to openports.se, version py-PySMT-0.8.0 (created)
[show/hide] View available PLISTS (Can be a lot of data)