Home

Jump to bottom Edit New page

psuter edited this page May 10, 2011 · 12 revisions

ScalaZ3 is a library to use the Z3 SMT Solver with the Scala programming language. It is developed primarily at EPFL.

The API for ScalaZ3 is available at http://lara.epfl.ch/~psuter/ScalaZ3/api/.