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.

License	Eclipse Public License 1.0 GNU Lesser GPL 2.1
GroupId	org.sat4j
ArtifactId	org.sat4j.core
Last Version	2.3.1
Release Date	Nov 1, 2011
Type	jar
Description	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.
Project Organization	Centre de Recherche en Informatique de Lens (CRIL)

Download org.sat4j.core

Filename	Size
org.sat4j.core-2.3.1.pom
org.sat4j.core-2.3.1.jar	261 KB
org.sat4j.core-2.3.1-tests.jar	63 KB
org.sat4j.core-2.3.1-sources.jar	274 KB
org.sat4j.core-2.3.1-javadoc.jar	1 MB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.sat4j/org.sat4j.core/ -->
<dependency>
    <groupId>org.sat4j</groupId>
    <artifactId>org.sat4j.core</artifactId>
    <version>2.3.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.sat4j/org.sat4j.core/
implementation 'org.sat4j:org.sat4j.core:2.3.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.sat4j/org.sat4j.core/
implementation ("org.sat4j:org.sat4j.core:2.3.1")

Apache Buildr

'org.sat4j:org.sat4j.core:jar:2.3.1'

Apache Ivy

<dependency org="org.sat4j" name="org.sat4j.core" rev="2.3.1">
  <artifact name="org.sat4j.core" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.sat4j', module='org.sat4j.core', version='2.3.1')
)

Scala SBT

libraryDependencies += "org.sat4j" % "org.sat4j.core" % "2.3.1"

Leiningen

[org.sat4j/org.sat4j.core "2.3.1"]

Dependencies

test (1)

Group / Artifact	Type	Version
junit : junit	jar	4.4

Project Modules

There are no modules declared in this project.

Versions

Version
2.3.1 Nov 1, 2011
2.3.0 Mar 30, 2011
2.2.3 Dec 24, 2010
2.0.4 Nov 3, 2008
2.0.0 Oct 1, 2008