ScalaZ3JNI bindings and a Scala library to interact with the Z3 SMT solver | |
Download |
ScalaZ3 Ranking & Summary
Advertisement
- License:
- Freeware
- Publisher Name:
- Philippe Suter
- Publisher web site:
- http://lara.epfl.ch/~psuter/
- Operating Systems:
- Mac OS X
- File Size:
- 538 KB
ScalaZ3 Tags
ScalaZ3 Description
ScalaZ3 contain a set of bindings and a library to interact with the Z3 SMT solver for Scala.ScalaZ3 is compiled for Scala 2.9.1 and Z3 3.2.Setup:· Download Z3, and copy the include and lib files to z3/x64//include and z3/x64//lib respectively. (eg: z3/x64/3.2/include/z3.h and z3/x64/3.2/lib/libz3.so).· Download sbt. Run 'sbt update' from the current directory. (Warning: currently only versions of sbt older than 0.10 are supported!)· Run 'sbt package' to create the jar file. It will be in target//scalaz3.jar and will contain the shared library required by the bindings.· For testing, run:DYLD_LIBRARY_PATH=z3//lib sbt testAlternatively, start a console by runningDYLD_LIBRARY_PATH=z3//lib scala -cp target/scalaz3.jarthen try, e.g.,println(z3.scala.version).
ScalaZ3 Related Software