3 Commits

Author	SHA1	Message	Date
sthen	d9cfe4113e	bump REVISION; python 3 default changed to 3.8	2020-07-03 21:12:24 +00:00
sthen	3318ced016	replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes	2019-07-12 20:46:54 +00:00
jasper	1ab4461c13	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@	2019-06-07 07:58:57 +00:00