z3-java (math/z3) Updated: 4 months, 4 weeks ago Add to my watchlist
Java bindings for the Z3 theorem proverJava bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.13.0 License: MIT
GitHub
| Maintainers | landonf |
| Categories | science java math |
| Homepage | https://github.com/Z3Prover/z3 |
| Platforms | darwin freebsd |
| Variants |
|
Subport(s) (10)
"z3-java" depends on
lib (2)
build (3)
Ports that depend on "z3-java"
No ports
Port Health:
Loading Port Health
Installations (30 days)
1
Requested Installations (30 days)
1
Livecheck results
z3-java seems to have been updated (port version: 4.13.0, new version: 4.13.3)
livecheck ran: 1 day, 13 hours ago