|Product||Description||Target Audience||Maturity||Input Format||Dependencies|
Lightweight constraint programming with a SAT solver.
Ships with Eclipse/Equinox 3.4 as OSGi bundle org.sat4j.core.
|Java developers, Researchers||Production||None|
|SAT Toolkit in Java. Offers a command line interface to SAT4J core allowing to easily test various SAT solver configurations||SAT researchers||Production||SAT4J Core, Apache Jakarta Commons (BeanUtils, CLI)|
Pseudo Boolean Solvers.
Ships with Eclipse/Equinox 3.4 as OSGi bundle org.sat4j.pb.
|Java developers, Researchers||Production||SAT4J Core|
|MAX SAT Solvers based on reduction to Pseudo Boolean optimization problems.||Researchers||Early stage||SAT4J Core, SAT4J PB, Apache Jakarta Commons|
|CSP solvers based on a translation into SAT.||Researchers||Ongoing development||SAT4J Core, Rhino|
SAT-based Sudoku generator and solver.
Contributed by Ivor Spence
Also available online as an applet
Most common Sudoku online formats
|SAT4J Core. Ships as a all-in-one package (SAT4J core included).|