Skip to content
SAT4J

SAT4J

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