Home

Jump to bottom Edit New page

psuter edited this page May 25, 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/.

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