Abstract
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a mod- ular SAT solver architecture designed to work with generic constraints. Such architecture is used to provide SAT, MaxSat and pseudo-boolean and solvers for lightweight constraint programming. Those solvers have been evaluated regularly in the corresponding interna- tional competitive events. The library has been adopted by several academic softwares and the widely used Eclipse platform, which relies on a pseudo-boolean solver from Sat4j for its plugins dependencies management since June 2008.
Cite
CITATION STYLE
Le Berre, D., & Parrain, A. (2010). The Sat4j library, release 2.2. Journal on Satisfiability, Boolean Modeling and Computation, 7(2–3), 59–64. https://doi.org/10.3233/sat190075
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
