org.ow2.sat4j:org.ow2.sat4j.core 2.3.5

The core library contains a flexible implementation in Java of the initial Minisat specification. The library is regularly updated with latest SAT technologies. It is a mature software that target Java developer willing to use SAT capability in their software.

GroupId	org.ow2.sat4j
ArtifactId	org.ow2.sat4j.core
Version	2.3.5
Type	jar

Download org.ow2.sat4j.core 2.3.5

Filename	Size
org.ow2.sat4j.core-2.3.5.pom
org.ow2.sat4j.core-2.3.5.jar	335 KB
org.ow2.sat4j.core-2.3.5-tests.jar	96 KB
org.ow2.sat4j.core-2.3.5-sources.jar	362 KB
org.ow2.sat4j.core-2.3.5-javadoc.jar	3 MB

Apache Maven

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

Gradle Groovy

// https://jarcasting.com/artifacts/org.ow2.sat4j/org.ow2.sat4j.core/
implementation 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.5'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.ow2.sat4j/org.ow2.sat4j.core/
implementation ("org.ow2.sat4j:org.ow2.sat4j.core:2.3.5")

Apache Buildr

'org.ow2.sat4j:org.ow2.sat4j.core:jar:2.3.5'

Apache Ivy

<dependency org="org.ow2.sat4j" name="org.ow2.sat4j.core" rev="2.3.5">
  <artifact name="org.ow2.sat4j.core" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.ow2.sat4j', module='org.ow2.sat4j.core', version='2.3.5')
)

Scala SBT

libraryDependencies += "org.ow2.sat4j" % "org.ow2.sat4j.core" % "2.3.5"

Leiningen

[org.ow2.sat4j/org.ow2.sat4j.core "2.3.5"]