py-z3

v 4.15.3 Updated: 5 days, 21 hours ago

Python bindings for the Z3 theorem prover

Python bindings for the Z3 SMT solver library from Microsoft Research.

https://github.com/Z3Prover/z3

Installable ports:

py27-z3
py310-z3
py311-z3
py312-z3
py37-z3
py38-z3
py39-z3
z3
z3-fstar
z3-fstar-legacy
z3-java

Details
Add to my watchlist

Installations 2
Requested Installations 2


Quick Links:
MacPorts
Port Information was updated:
2 hours ago
1c5f4f36

Most recent build (in app's database) ran:
2 hours ago

Latest stats submission was received:
a minute ago