z3-java (math/z3) Updated: 4 months, 1 week 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.4 License: MIT
GitHub
Statistics for selected duration
2025-Apr-02 to 2025-May-02
| Total Installations | 1 |
|---|---|
| Requested Installations | 1 |
| Variants | Count |
|---|
Monthly Statistics
Can remain cached for up to 24 hours