Opt4J

The SAT decoding module for Opt4J

License	GNU Lesser General Public License
GroupId	org.opt4j
ArtifactId	opt4j-satdecoding
Last Version	3.1.4
Release Date	Nov 28, 2015
Type	jar
Description	Opt4J The SAT decoding module for Opt4J
Project URL	http://www.opt4j.org
Source Code Management	http://hg.code.sf.net/p/opt4j/hgroot

Download opt4j-satdecoding

Filename	Size
opt4j-satdecoding-3.1.4.pom
opt4j-satdecoding-3.1.4.jar	34 KB
opt4j-satdecoding-3.1.4-sources.jar	28 KB
opt4j-satdecoding-3.1.4-javadoc.jar	96 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.opt4j/opt4j-satdecoding/ -->
<dependency>
    <groupId>org.opt4j</groupId>
    <artifactId>opt4j-satdecoding</artifactId>
    <version>3.1.4</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.opt4j/opt4j-satdecoding/
implementation 'org.opt4j:opt4j-satdecoding:3.1.4'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.opt4j/opt4j-satdecoding/
implementation ("org.opt4j:opt4j-satdecoding:3.1.4")

Apache Buildr

'org.opt4j:opt4j-satdecoding:jar:3.1.4'

Apache Ivy

<dependency org="org.opt4j" name="opt4j-satdecoding" rev="3.1.4">
  <artifact name="opt4j-satdecoding" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.opt4j', module='opt4j-satdecoding', version='3.1.4')
)

Scala SBT

libraryDependencies += "org.opt4j" % "opt4j-satdecoding" % "3.1.4"

Leiningen

[org.opt4j/opt4j-satdecoding "3.1.4"]

Dependencies

compile (3)

Group / Artifact	Type	Version
org.ow2.sat4j : org.ow2.sat4j.pb	jar	2.3.3
org.ow2.sat4j : org.ow2.sat4j.core	jar	2.3.3
org.opt4j : opt4j-core	jar	3.1.4

test (1)

Group / Artifact	Type	Version
junit : junit	jar	[4.0,)

Project Modules

There are no modules declared in this project.

Versions

Version
3.1.4 Nov 28, 2015
3.1.3 Jan 2, 2015
3.1.2 Aug 5, 2014
3.1.1 Jun 23, 2014
3.1 Feb 27, 2014
3.0.1 May 19, 2013
3.0 Mar 3, 2013