py312-z3 (math/z3) Updated: 6 days, 11 hours ago Add to my watchlist
Python 3.12 bindings for the Z3 theorem proverPython 3.12 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.15.3 License: MIT
GitHub
| Maintainers | landonf |
| Categories | python |
| Homepage | https://github.com/Z3Prover/z3 |
| Platforms | {darwin any} |
| Variants |
|
Subport(s) (11)
"py312-z3" depends on
lib (3)
build (7)
Ports that depend on "py312-z3"
lib (1)Port Health:
Loading Port Health