Home

Jump to bottom Edit New page

psuter edited this page Aug 19, 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/. More documentation is hosted at EPFL on this page.

A paper (system description) describes some implementation details and was presented at CADE 2011 and . The reference is:

Ali Sinan Köksal, Viktor Kuncak, and Philippe Suter. Scala to the Power of Z3: Integrating SMT and Programming. CADE 2011, pp. 400-406.