clj-z3 Clojure bindings for Z3. This currently just uses the Java Z3 bindings. Installation Usage Options Examples Bugs