The Sat4j library, release 2.2

Le Berre, Daniel; Parrain, Anne

doi:10.3233/sat190075

Public

The Sat4j library, release 2.2

Published in Journal on Satisfiability Boolean Modeling and Computation • Jul 1, 2010

Authors:

Daniel Le Berre

Anne Parrain

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 bee...

Subject

Computer science

Programming language

Boolean satisfiability problem

Research Assistant

AI chat, annotations, notes & similar papers

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!