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

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

Branch: pkgsrc-2021Q4, Version: 4.8.3, Package name: py39-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.

Master sites:

Filesize: 4022.574 KB

Version history: (Expand)