Sat4j is a library aiming at providing a simple and efficient open source library of SAT solvers in Java.

The aim of the Sat4j library is to provide a simple and efficient open source library of SAT solvers in Java. The Sat4j library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. Sat4j is currently the most widely deployed SAT framework because of its adoption within the Eclipse Open platform. Sat4j is available under both the Eclipse Public License and the GNU LGPL licence.


Web site



Project leader(s)

Daniel Le Berre


Middleware framework / Component / Tool




Eclipse Public License 1.0 GNU Lesser General Public License v2.1 only

VCS repository(ies)

- type: git

Issue tracker URL

Discussion channels

Professional case studies

Professional support

Market Readiness Synthesis

Sat4j is a popular, full featured, robust, user friendly, java solver used in software engineering, constraint programming, AI and software verification. Since Daniel Le Berre started developing Sat4j in 2004 at Lens University’s IT Research Center (CRIL), it has been downloaded more than 200,000 times from the OW2 forge. Moreover, as it is integrated in the Eclipse IDE, Sat4j is used by millions of people across the globe. Sat4j is a highly recognised and trustworthy tool, a true leader in its category even if, as a typical community project, there is no formal business activity around it hence its MRL score.

Market Readiness Level

Project Market Readiness Level computed by OW2.

More on the definition and computation of Market Readiness Levels here.

Best Practices Implementation

Coverage of best practices in open source software development implemented by the project.

More on best practices and how they are collected here.

Project Profile  

Computation of the project's profile through five key attributes defined by OW2.

More on how project attributes are commputed here.

MRL Assessment Diagram

This page lists the control points used in our assessment of the project's market readiness with their normalised values. It shows how they are combined to form the model. Please go to the methodology overview for more on the model and data collection.

Sources of Raw Data

Please use the links in this section for the raw data used in our MRL modeling.