Sat4j

the boolean satisfaction and optimization library in Java

- How to build SAT4J from source?
- How to use SAT4J as a standalone SAT solver?
- How to use SAT4J as a standalone CSP solver?
- How to use SAT4J as a standalone Pseudo Boolean solver?
- How to use SAT4J as a standalone [Partial][Weighted] MAX SAT solver?
- How to setup the JVM for improved SAT solving?
- How to embed a SAT solver in my Java software?
- How to feed a SAT solver without using a Reader?
- How to iterate over all models?
- Which solver is right for me?