./math/py-z3, Python bindings for the Z3 theorem prover / SMT solver

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 4.8.3, Package name: py37-z3-4.8.3, Maintainer: dholland

z3 is an open source theorem prover / SMT solver from Microsoft Research.

(SMT stands for "satisfiability modulo theories".)

This package contains the Python bindings for z3.


Required to run:
[math/z3] [lang/python37]

Required to build:
[pkgtools/cwrappers]

Master sites:

SHA1: bc713372c9be6808306a8e0844caf27c0a10ee2c
RMD160: 3b8bc18719725c0d110ca52f7e692519cbac341e
Filesize: 4022.574 KB

Version history: (Expand)


CVS history: (Expand)


   2020-05-31 22:47:23 by Joerg Sonnenberger | Files touched by this commit (1)
Log message:
Drop Python 2.7 restriction that isn't active anyway.
   2019-11-02 17:16:23 by Roland Illig | Files touched by this commit (47)
Log message:
math: align variable assignments

pkglint -Wall -F --only aligned -r

Manual correction in R/Makefile.extension for the MASTER_SITES
continuation line.
   2018-12-23 13:27:34 by Thomas Klausner | Files touched by this commit (1)
Log message:
py-z3: set GITHUB_PROJECT to fix fetch stage