Work

The Sat4j library, release 2.2

Year: 2010

Type: article

Abstract: 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.

Source: Journal on Satisfiability Boolean Modeling and Computation

DOI: 10.3233/sat190075

Authors: Daniel Le Berre, Anne Parrain

Institutions: Centre National de la Recherche Scientifique, Centre de Recherche en Informatique de Lens, Université d'Artois, Université Lille Nord de France

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: Technische Universiteit Delft, Ministère de l'Education Nationale, de l'Enseignement Superieur et de la Recherche

OpenAlex ID: W5815757

FWCI: 49.82

Cites: 15

Cited by: 455

Related to: 10