SAT4J: a SATisfiability library for Java

User level: stable public API.

org.sat4j.csp	Classes needed for CSP to SAT translation.
org.sat4j.csp.constraints	Classes needed for CSP to SAT translation.
org.sat4j.csp.encodings
org.sat4j.reader	Some utility classes to read problems from plain text files.