SAT4J 2.3.6

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
Version	2.3.6
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 2.3.6

Filename	Size
org.ow2.sat4j.pom-2.3.6.pom	13 KB
org.ow2.sat4j.pom-2.3.6-tests.jar	4 KB

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