City: Saint Petersburg Novosibirsk Kazan Language: Русский English

OpenSMT (R. Bruttomesso, University of Lugano)
Seminar on Computer Science

What: Lecture
When: Saturday, 18 September 2010, 19:05–20:40
Slides: csseminar_lecture_180910.pdf


In this lecture we describe OpenSMT, an incremental, efficient, extensible and open-source SMT-Solver. OpenSMT has been specifically designed to be easily extended with new theory-solvers, in order to be accessible for non-experts for the development of customized algorithms. We sketch the solver's architecture and interface, and we discuss its distinguishing features w.r.t. state-of-the-art SMT-Solvers.