This is ScalaZ3 for Scala 2.11 and Z3 4.4.2. ScalaZ3 for Z3 version 4.3.2 can be found in the branch 'Z3-4.3.2'. Switch to the branch '2.9.x' for Scala 2.9 support (Z3 version 4.3.2).
You should have Java and SBT 0.13.x installed.
-
Clone the Z3 source repository into ./z3 (default location from project base).
-
Run 'sbt package' to create the jar file. It will be in 'target/scala-2.11/scalaz3_2.11-2.1.jar' and will contain the shared library dependencies.
-
For testing, run
sbt test
Automatically building Z3 for these targets is not supported yet. The build.sbt file will be patched soon to deal with these.