z3-clj

A Clojure library that exposes the Z3 SMT solver Java API using clojure idioms.

Usage

Install the Z3 jar to your local maven repository with

mvn install:install-file -Dfile=<path-to-jar>/com.microsoft.z3.jar -DgroupId=com.microsoft -DartifactId=z3 -Dversion=4.5.1 -Dpackaging=jar

Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
doc		doc
src/z3_clj		src/z3_clj
test/z3_clj		test/z3_clj
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
project.clj		project.clj