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

License

GroupId

GroupId

org.ow2.sat4j
ArtifactId

ArtifactId

org.ow2.sat4j.sat
Last Version

Last Version

2.3.6
Release Date

Release Date

Type

Type

jar
Description

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

Project Organization

Centre de Recherche en Informatique de Lens (CRIL)
Source Code Management

Source Code Management

https://gitlab.ow2.org/sat4j/sat4j/org.ow2.sat4j.sat/

Download org.ow2.sat4j.sat

How to add to project

<!-- 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>
// https://jarcasting.com/artifacts/org.ow2.sat4j/org.ow2.sat4j.sat/
implementation 'org.ow2.sat4j:org.ow2.sat4j.sat:2.3.6'
// https://jarcasting.com/artifacts/org.ow2.sat4j/org.ow2.sat4j.sat/
implementation ("org.ow2.sat4j:org.ow2.sat4j.sat:2.3.6")
'org.ow2.sat4j:org.ow2.sat4j.sat:jar:2.3.6'
<dependency org="org.ow2.sat4j" name="org.ow2.sat4j.sat" rev="2.3.6">
  <artifact name="org.ow2.sat4j.sat" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.ow2.sat4j', module='org.ow2.sat4j.sat', version='2.3.6')
)
libraryDependencies += "org.ow2.sat4j" % "org.ow2.sat4j.sat" % "2.3.6"
[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
2.3.5
2.3.4
2.3.3