BSD Portsmath/py-pysmt 0.9.6p0 OpenBSD
library for SMT formulae manipulation and solving
- System
- OpenBSD
- Repository
- OpenBSD ports
- Maintainer
- The OpenBSD ports mailing-list <[email protected]>
- Last update
- Commit
3f059e808a- Categories
- math, lang/python
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.
In the other systems
| System | Port | Version |
|---|---|---|
| OpenBSD | math/py-pysmt | 0.9.6p0 |
| FreeBSD | math/py-pysmt | 0.9.6_3 |
| DragonFly | math/py-pysmt | 0.9.6_1 |
Install
Binary package:
pkg_add py3-PySMTFrom the ports tree:
cd /usr/ports/math/py-pysmt && make installDependencies
Build dependencies 5
Run dependencies 1
No port depends on this one.