The math/py-pysmt port
py3-PySMT-0.9.5p3 – 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
Only for arches
aarch64 alpha amd64 arm hppa i386 mips64 mips64el powerpc powerpc64 riscv64 sparc64