ScalaZ3

JNI bindings and a Scala library to interact with the Z3 SMT solver
Download

ScalaZ3 Ranking & Summary

Advertisement

  • Rating:
  • 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

About SoftwareSea