SAT4J sat 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.sat
Version	2.3.6
Type	jar
Description	SAT4J sat Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.
Project Organization	Centre de Recherche en Informatique de Lens (CRIL)
Source Code Management	https://gitlab.ow2.org/sat4j/sat4j/org.ow2.sat4j.sat/

Download org.ow2.sat4j.sat 2.3.6

Filename	Size
org.ow2.sat4j.sat-2.3.6.pom
org.ow2.sat4j.sat-2.3.6.jar	152 KB
org.ow2.sat4j.sat-2.3.6-tests.jar	1 KB
org.ow2.sat4j.sat-2.3.6-sources.jar	71 KB
org.ow2.sat4j.sat-2.3.6-javadoc.jar	300 KB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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

Dependencies

compile (6)

Group / Artifact	Type	Version
org.ow2.sat4j : org.ow2.sat4j.core	jar	2.3.6
org.ow2.sat4j : org.ow2.sat4j.pb	jar	2.3.6
org.ow2.sat4j : org.ow2.sat4j.maxsat	jar	2.3.6
commons-beanutils : commons-beanutils	jar	1.8.3
commons-cli : commons-cli	jar	1.2
net.sf.jchart2d : jchart2d	jar	3.3.2

test (2)

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

Project Modules

There are no modules declared in this project.