py-z3 (math/z3) Updated: 3 months, 1 week ago Add to my watchlist
Python bindings for the Z3 theorem proverPython bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.15.4 License: MIT
GitHub
| Maintainers | landonf |
| Categories | python |
| Homepage | https://github.com/Z3Prover/z3 |
| Platforms | any |
| Variants |
|
Subport(s) (13)
"py-z3" depends on
lib (2)
build (3)
Ports that depend on "py-z3"
No ports
Port Health:
Loading Port Health
Installations (30 days)
2
Requested Installations (30 days)
2
Livecheck results
py-z3 seems to have been updated (port version: 4.15.4, new version: 4.16.0)
livecheck ran: 1 day, 6 hours ago