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

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

Branch: pkgsrc-2019Q2, 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]

Master sites:

SHA1: bc713372c9be6808306a8e0844caf27c0a10ee2c
RMD160: 3b8bc18719725c0d110ca52f7e692519cbac341e
Filesize: 4022.574 KB

Version history: (Expand)