CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2019/06/07 01:58:57
Log message:
import py-PySMT-0.8.0
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.
feedback and ok kn@
Status:
Vendor Tag: jasper
Release Tags: jasper_20190706
N ports/math/py-pysmt/Makefile
N ports/math/py-pysmt/distinfo
N ports/math/py-pysmt/pkg/DESCR
N ports/math/py-pysmt/pkg/PLIST
No conflicts created by this import
