z3 (math/z3) Updated: 1 month, 2 weeks ago Add to my watchlist
Z3 Theorem ProverHigh performance SMT solver from Microsoft Research.
Version: 4.12.6 License: MIT GitHubMaintainers | landonf |
Categories | science math |
Homepage | https://github.com/Z3Prover/z3 |
Platforms | darwin freebsd |
Variants |
|
Subport(s) (10)
"z3" depends on
build (5)
Ports that depend on "z3"
lib (12)Port Health:
Loading Port Health
Installations (30 days)
23
Requested Installations (30 days)
15
Livecheck results
z3 seems to have been updated (port version: 4.12.6, new version: 4.13.0)
livecheck ran: 19 hours ago