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	License Eclipse Public License 1.0 GNU Lesser GPL 2.1
GroupId	GroupId org.ow2.sat4j
ArtifactId	ArtifactId org.ow2.sat4j.maxsat
Last Version	Last Version 2.3.6
Release Date	Release Date Dec 14, 2020
Type	Type jar
Description	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	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.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
Browse

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

SAT4J maxsat

License

GroupId

ArtifactId

Last Version

Release Date

Type

Description

Project Organization

Source Code Management