OpenSAT: An Open Source SAT Software Project

This paper presents the OpenSAT project, an open source framework of SAT algorithms in Java. The objective of this framework is twofold: first, to provide some specifications about SAT solver services for a better interoperability between SAT solvers and SAT powered applications, and second, to give a reference implementation of different specifications, such that people can plug into their applications precisely what they need. Moreover, the OpenSAT framework is designed in a way that allows several levels of compliance with the framework. This paper also includes results for the OpenSAT reference implementation, as well as for JQuest2, the first OpenSAT-compliant state-of-the-art SAT solver.