py3-PySMT

library for SMT formulae manipulation and solving

WWW CVSWeb GITHub
  1. Package version
    py3-PySMT-0.9.5p0
  2. Maintainer
    The OpenBSD ports mailing-list

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.

  • python3

  • lang/python/3.10
  • devel/py-build,python3
  • devel/py-installer,python3
  • devel/py-setuptools,python3
  • devel/py-wheel,python3

  • lang/python/3.10