The core library contains a flexible implementation in Java of the initial Minisat specification. The library is regularly updated with latest SAT technologies. It is a mature software that target Java developer willing to use SAT capability in their software.
Homepage POM file JAR file Javadoc'org.ow2.sat4j:org.ow2.sat4j.core:2.3.4'