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