The OpenSMT Solver

Abstract:

This paper describes OpenSMT, an incremental, efficient, 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. We discuss its distinguishing features w.r.t. other state-of-the-art solvers.

• BibTex

@inproceedings { BPST10,
	title = {The OpenSMT Solver},
	booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
	volume = {6015},
	year = {2010},
	pages = {150-153},
	publisher = {Springer},
	organization = {Springer},
	address = {Paphos, Cyprus},
	URL = {http://dx.doi.org/10.1007/978-3-642-12002-2_12},
	author = {Roberto Bruttomesso and  Edgar Pek and  Natasha Sharygina and  Aliaksei Tsitovich}
}