py37-z3 (math/z3) Updated: 8 months, 2 weeks ago Add to my watchlist

Python 3.7 bindings for the Z3 theorem prover

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

Version: 4.12.2 License: MIT
Maintainers landonf
Categories python
Homepage https://github.com/Z3Prover/z3
Platforms {darwin any}
Variants

Subport(s) (10)


"py37-z3" depends on

lib (3)
build (7)

Ports that depend on "py37-z3"

No ports


Port Health:

Loading Port Health

Installations (30 days)

0

Requested Installations (30 days)

0

Livecheck error

Error: Port py37-z3 not found

last updated: 11 hours ago