py310-z3

v 4.15.3 Updated: 5 days, 16 hours ago

Python 3.10 bindings for the Z3 theorem prover

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

https://github.com/Z3Prover/z3

To install py310-z3, paste this into the macOS Terminal after installing MacPorts

sudo port install py310-z3

Add to my watchlist

Installations 1
Requested Installations 0