Sat4j logo

@sat4j

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