SAT4J sat

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
Last Version	2.3.6
Release Date	Dec 14, 2020
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

Filename	Size
org.ow2.sat4j.sat-2.3.6.pom
org.ow2.sat4j.sat-2.3.6.jar	142 KB
org.ow2.sat4j.sat-2.3.6-tests.jar	1 KB
org.ow2.sat4j.sat-2.3.6-sources.jar	66 KB
org.ow2.sat4j.sat-2.3.6-javadoc.jar	511 KB

How to add to project

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.

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