py312-z3

v 4.13.3 Updated: 1 week, 3 days ago

Python 3.12 bindings for the Z3 theorem prover

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

https://github.com/Z3Prover/z3

To install py312-z3, paste this in macOS terminal after installing MacPorts

sudo port install py312-z3

Add to my watchlist

Installations 2
Requested Installations 1