Home

The math/py-pysmt,python3 port

py3-PySMT-0.9.5p1 – library for SMT formulae manipulation and solving (cvsweb github mirror)

Description

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.
WWW: http://www.pysmt.org

Maintainer

The OpenBSD ports mailing-list

Categories

lang/python math

Build dependencies

Run dependencies

Test dependencies

Reverse dependencies

Files

Search