the boolean satisfaction and optimization library in Java
Software using SAT4J

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
  • Genetic Network Analyzer
  • Satlotyper