Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

OpenSMT (R. Bruttomesso, University of Lugano)
Computer Science семинар

Что: Лекция
Когда: Суббота, 18 сентября 2010, 19:05–20:40
Слайды: 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.