SAT4J maxsat 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.maxsat
Version	2.3.6
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 2.3.6

Filename	Size
org.ow2.sat4j.maxsat-2.3.6.pom
org.ow2.sat4j.maxsat-2.3.6.jar	22 KB
org.ow2.sat4j.maxsat-2.3.6-tests.jar	15 KB
org.ow2.sat4j.maxsat-2.3.6-sources.jar	19 KB
org.ow2.sat4j.maxsat-2.3.6-javadoc.jar	91 KB

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.