SAT4J maxsat

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.maxsat
Last Version	2.3.6
Release Date	Dec 14, 2020
Type	jar
Description	SAT4J maxsat 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.maxsat/

Download org.ow2.sat4j.maxsat

Filename	Size
org.ow2.sat4j.maxsat-2.3.6.pom
org.ow2.sat4j.maxsat-2.3.6.jar	17 KB
org.ow2.sat4j.maxsat-2.3.6-tests.jar	12 KB
org.ow2.sat4j.maxsat-2.3.6-sources.jar	15 KB
org.ow2.sat4j.maxsat-2.3.6-javadoc.jar	129 KB

How to add to project

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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

Dependencies

compile (3)

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
commons-cli : commons-cli	jar	1.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