SAT4J is a library aiming at providing a simple and efficient open source library of SAT solvers in Java.
