cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
170,714 Commits 1 Branch 0 Tags
Commit Graph

8 Commits

Author SHA1 Message Date
naddy
ab45f39af6 drop RCS Ids 2022-03-11 19:36:11 +00:00
sthen
3fb7cdbcf6 bump REVISION for switch from Python 3.8 -> 3.9 2021-11-02 00:01:35 +00:00
sthen
e27d4113bb 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-10-24 09:28:46 +00:00
kmos
2795ba2341 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-05-21 19:50:21 +00:00
sthen
248932be74 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
 2021-02-19 23:13:00 +00:00
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