Sat4j: the boolean satisfaction and optimization library for Java
 

Software using SAT4J

SAT4J Inside

The following projects are powered by SAT4J. Send an email to contact at sat4j dot org to see your own project here.

Our most famous adopter! Eclipse
Software Engineering Opt4j Aprove OpenOME
Formal Verification Kodkod Alloy Forge Fastcheck
Software Product Lines C2O 2.0 Ahead FAMA FeatureIDE Splot
Bioinformatic Genetic Network Analyzer Satlotyper
Artois University CNRS CRIL OW2 Consortium
This is free software by Artois University and CNRS under both the Eclipse Public License and the GNU LGPL licence developed at CRIL. The SAT4J project is kindly hosted on the OW2 forge.YourKit is kindly supporting open source projects with its full-featured Java Profiler. YourKit, LLC is the creator of innovative and intelligent tools for profiling Java and .NET applications. Take a look at YourKit's leading software products: YourKit Java Profiler and YourKit ASP.NET Profiler.