SAT4J core

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.sat4j:org.sat4j.core:2.2.3'

<dependency>
	<groupId>org.sat4j</groupId>
	<artifactId>org.sat4j.core</artifactId>
	<version>2.2.3</version>
</dependency>

<dependency org="org.sat4j" name="org.sat4j.core" rev="2.2.3"/>

"org.sat4j", "org.sat4j.core", "2.2.3"

Dependencies

Test dependencies

junit » junit » 4.4