We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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/. More documentation is hosted at EPFL on this page.
A 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