JMPI

The solver interface for SAT4J

License	GNU Lesser General Public License
Categories	Net
GroupId	net.sf.jmpi
ArtifactId	jmpi-solver-sat4j
Last Version	0.6
Release Date	Apr 22, 2015
Type	jar
Description	JMPI The solver interface for SAT4J
Project URL	http://jmpi.sf.net

Download jmpi-solver-sat4j

Filename	Size
jmpi-solver-sat4j-0.6.pom
jmpi-solver-sat4j-0.6.jar	4 KB
jmpi-solver-sat4j-0.6-sources.jar	2 KB
jmpi-solver-sat4j-0.6-javadoc.jar	20 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/net.sf.jmpi/jmpi-solver-sat4j/ -->
<dependency>
    <groupId>net.sf.jmpi</groupId>
    <artifactId>jmpi-solver-sat4j</artifactId>
    <version>0.6</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/net.sf.jmpi/jmpi-solver-sat4j/
implementation 'net.sf.jmpi:jmpi-solver-sat4j:0.6'

Gradle Kotlin

// https://jarcasting.com/artifacts/net.sf.jmpi/jmpi-solver-sat4j/
implementation ("net.sf.jmpi:jmpi-solver-sat4j:0.6")

Apache Buildr

'net.sf.jmpi:jmpi-solver-sat4j:jar:0.6'

Apache Ivy

<dependency org="net.sf.jmpi" name="jmpi-solver-sat4j" rev="0.6">
  <artifact name="jmpi-solver-sat4j" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='net.sf.jmpi', module='jmpi-solver-sat4j', version='0.6')
)

Scala SBT

libraryDependencies += "net.sf.jmpi" % "jmpi-solver-sat4j" % "0.6"

Leiningen

[net.sf.jmpi/jmpi-solver-sat4j "0.6"]

Dependencies

compile (3)

Group / Artifact	Type	Version
org.ow2.sat4j : org.ow2.sat4j.core	jar	2.3.5
org.ow2.sat4j : org.ow2.sat4j.pb	jar	2.3.5
net.sf.jmpi : jmpi-main	jar	0.6

test (1)

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

Project Modules

There are no modules declared in this project.

Versions

Version
0.6 Apr 22, 2015
0.5 Dec 10, 2014
0.4 Feb 6, 2014