We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
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/.
An paper (system description) to be presented at CADE 2011 describes some implementation details. The reference is:
Ali Sinan Köksal, Viktor Kuncak, and Philippe Suter. Scala to the Power of Z3: Integrating SMT and Programming. CADE 2011