Abstract
This paper describes a major revision of the OpenSMT solver developed since 2008. The version 2 significantly improves its predecessor by providing a design that supports extensions, several critical bug fixes and performance improvements. The distinguishing feature of the new version is the support for a wide range of parallelization algorithms both on multi-core and cloud-computing environments. Presently the solver implements the quantifier free theories of uninterpreted functions and equalities and linear real arithmetics, and is released under the MIT license.
Cite
CITATION STYLE
Hyvärinen, A. E. J., Marescotti, M., Alt, L., & Sharygina, N. (2016). OpenSMT2: An SMT solver for multi-core and cloud computing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9710, pp. 547–553). Springer Verlag. https://doi.org/10.1007/978-3-319-40970-2_35
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
