Version: 0.8.0, Package name: py-PySMT-0.8.0 |
Maintained by: The OpenBSD ports mailing-list |
Master sites: |
Flavors (export FLAVOR=xyz, setenv FLAVOR xyz):
|
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. |
Filesize: 248.221 KB |
Version History (View Complete History) |
|
2021-11-01 18:01:43 by Stuart Henderson | Files touched by this commit (139) |
Log message: bump REVISION for switch from Python 3.8 -> 3.9 |
2021-10-24 03:28:54 by Stuart Henderson | Files touched by this commit (138) |
Log message: switch some Python ports to py3-only. maintainer oks for the relevant ports from semarie, kmos, jung, martin, benoit, juanfra. general oks benoit bket daniel kmos |
2021-05-21 13:50:39 by Kurt Mosiejczuk | Files touched by this commit (326) |
Log message: Bump the REVISION on all ports that use the python2 version of py-setuptools. Also change the lang/python module to use the new devel/py2-setuptools for python2 ports ok sthen@ |
2021-02-19 16:13:08 by Stuart Henderson | Files touched by this commit (146) |
Log message: switch MODPY_BIN_SUFFIX to -2 for py2 and (blank) for py3 switch ports using command-line tools from py-sphinx that don't need a py2 version of it to py3-sphinx |
2020-07-03 15:13:23 by Stuart Henderson | Files touched by this commit (1032) |
Log message: bump REVISION; python 3 default changed to 3.8 |
2019-07-12 14:47:59 by Stuart Henderson | Files touched by this commit (874) |
Log message: replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes |