OpenSMT2: An SMT Solver for Multi-core and Cloud Computing
SAT, pp. 547-553, 2016.
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 alg...More
Full Text (Upload PDF)
PPT (Upload PPT)