SAT4J

Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.

License	Eclipse Public License 1.0 GNU Lesser GPL 2.1
GroupId	org.ow2.sat4j
ArtifactId	org.ow2.sat4j.pom
Last Version	2.3.6
Release Date	Dec 14, 2020
Type	jar
Description	SAT4J Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.
Project URL	http://www.sat4j.org/
Project Organization	Centre de Recherche en Informatique de Lens (CRIL)
Source Code Management	https://gitlab.ow2.org/sat4j/sat4j/

Download org.ow2.sat4j.pom

Filename	Size
org.ow2.sat4j.pom-2.3.6.pom	15 KB
org.ow2.sat4j.pom-2.3.6-tests.jar	4 KB
org.ow2.sat4j.pom-2.3.6-source-release.zip	36 MB
org.ow2.sat4j.pom-2.3.6-source-release.tar.gz	30 MB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.ow2.sat4j/org.ow2.sat4j.pom/ -->
<dependency>
    <groupId>org.ow2.sat4j</groupId>
    <artifactId>org.ow2.sat4j.pom</artifactId>
    <version>2.3.6</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.ow2.sat4j/org.ow2.sat4j.pom/
implementation 'org.ow2.sat4j:org.ow2.sat4j.pom:2.3.6'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.ow2.sat4j/org.ow2.sat4j.pom/
implementation ("org.ow2.sat4j:org.ow2.sat4j.pom:2.3.6")

Apache Buildr

'org.ow2.sat4j:org.ow2.sat4j.pom:jar:2.3.6'

Apache Ivy

<dependency org="org.ow2.sat4j" name="org.ow2.sat4j.pom" rev="2.3.6">
  <artifact name="org.ow2.sat4j.pom" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.ow2.sat4j', module='org.ow2.sat4j.pom', version='2.3.6')
)

Scala SBT

libraryDependencies += "org.ow2.sat4j" % "org.ow2.sat4j.pom" % "2.3.6"

Leiningen

[org.ow2.sat4j/org.ow2.sat4j.pom "2.3.6"]

Dependencies

test (2)

Group / Artifact	Type	Version
junit : junit	jar	4.12
org.mockito : mockito-all	jar	1.9.5

Project Modules

• org.sat4j.core
• org.sat4j.pb
• org.sat4j.maxsat
• org.sat4j.sat

Versions

Version
2.3.6 Dec 14, 2020
2.3.5 May 25, 2013
2.3.4 Apr 19, 2013
2.3.3 Feb 16, 2013