OpenSMT2: An SMT Solver for Multi-core and Cloud Computing

SAT, pp. 547-553, 2016.

Cited by: 25|Bibtex|Views22|Links
EI

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 alg...More

Code:

Data:

Your rating :
0

 

Tags
Comments