Sat4j
the boolean satisfaction and optimization library in Java
 
Software using SAT4J
Top

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
Formal Verification
    • Kodkod
    • Forge
    • Alloy
    • Fastcheck
Software Product Lines
Bioinformatic
  • Genetic Network Analyzer
  • Satlotyper