o

org.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.
Daniel Le Berre Stephanie Roussel Emmanuel Lonca
with contains willing flexible minisat that technologies software regularly updated initial implementation developer mature specification library target java core latest their capability
Files download
File Operation
org.sat4j.core-2.3.1.jar download
org.sat4j.core-2.3.1.pom download
org.sat4j.core-2.3.1-sources.jar download
Apache Maven 
<dependency>
  <groupId>org.sat4j</groupId>
  <artifactId>org.sat4j.core</artifactId>
  <version>2.3.1</version>
</dependency>
Gradle Groovy 
implementation 'org.sat4j:org.sat4j.core:2.3.1'
Gradle Kotlin 
implementation("org.sat4j:org.sat4j.core:2.3.1")
Scala SBT 
libraryDependencies += "org.sat4j" % "org.sat4j.core" % "2.3.1"
Groovy Grape 
@Grapes(
  @Grab(group='org.sat4j', module='org.sat4j.core', version='2.3.1')
)
Apache Ivy 
<dependency org="org.sat4j" name="org.sat4j.core" rev="2.3.1" />
Leiningen 
[org.sat4j/org.sat4j.core "2.3.1"]
Apache Buildr 
'org.sat4j:org.sat4j.core:jar:2.3.1'
Dependencies 
<parent>
  <groupId>org.sat4j</groupId>
  <artifactId>org.sat4j.pom</artifactId>
  <version>2.3.1</version>
</parent>
The project has no third-party dependencies