py312-z3 (math/z3) Updated: 4 months, 4 weeks 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.13.0 License: MIT GitHubMaintainers | landonf |
Categories | python |
Homepage | https://github.com/Z3Prover/z3 |
Platforms | {darwin any} |
Variants |
Subport(s) (10)
"py312-z3" depends on
lib (3)
build (7)
Ports that depend on "py312-z3"
lib (1)Port Health:
Loading Port Health
Installations (30 days)
2
Requested Installations (30 days)
1
Livecheck results
py312-z3 seems to have been updated (port version: 4.13.0, new version: 4.13.3)
livecheck ran: 1 day, 13 hours ago