py-z3 (math/z3) Updated: 1 week, 3 days ago Add to my watchlist
Python bindings for the Z3 theorem proverPython bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.13.3 License: MIT GitHubMaintainers | landonf |
Categories | python |
Homepage | https://github.com/Z3Prover/z3 |
Platforms | any |
Variants |
Subport(s) (10)
"py-z3" depends on
lib (2)
build (3)
Ports that depend on "py-z3"
No ports
Port Health:
Loading Port Health