The SAT4J library, Release 2.2, System Description

Daniel Le Berre (1) , Anne Parrain (1)

1 CRIL - Centre de Recherche en Informatique de Lens

Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular 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 international 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.

Domaines: Intelligence artificielle [cs.AI]

Daniel Le Berre, Anne Parrain. The SAT4J library, Release 2.2, System Description. Journal on Satisfiability, Boolean Modeling and Computation, 2010, 7, pp.59-64. ⟨10.3233/SAT190075⟩. ⟨hal-00868136⟩