./math/py-pysmt [library for SMT formulae manipulation and solving]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

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):
  • python3
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)
  • (2019-06-07) Package added to openports.se, version py-PySMT-0.8.0 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit 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