SAT4J

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

License	License Eclipse Public License 1.0 GNU Lesser GPL 2.1
GroupId	GroupId org.ow2.sat4j
ArtifactId	ArtifactId org.ow2.sat4j.pom
Last Version	Last Version 2.3.6
Release Date	Release Date Dec 14, 2020
Type	Type jar
Description	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	Project URL http://www.sat4j.org/
Project Organization	Project Organization Centre de Recherche en Informatique de Lens (CRIL)
Source Code Management	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
Browse

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

SAT4J

License

GroupId

ArtifactId

Last Version

Release Date

Type

Description

Project URL

Project Organization

Source Code Management