z3-java

v 4.12.6 Updated: 2 months, 2 weeks ago

Java bindings for the Z3 theorem prover

Java bindings for the Z3 SMT solver library from Microsoft Research.

https://github.com/Z3Prover/z3

To install z3-java, paste this in macOS terminal after installing MacPorts

sudo port install z3-java

Add to my watchlist

Installations 1
Requested Installations 1