JarCasting
JarCasting JarCasting
Last Version

SAT4J core 2.3.6

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.

License

License
GroupId

GroupId

org.ow2.sat4j
ArtifactId

ArtifactId

org.ow2.sat4j.core
Version

Version

2.3.6
Type

Type

jar
Description

Description

SAT4J core
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.
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.core/

Download org.ow2.sat4j.core 2.3.6

Filename Size
org.ow2.sat4j.core-2.3.6.pom
org.ow2.sat4j.core-2.3.6.jar 429 KB
org.ow2.sat4j.core-2.3.6-tests.jar 130 KB
org.ow2.sat4j.core-2.3.6-sources.jar 449 KB
org.ow2.sat4j.core-2.3.6-javadoc.jar 1 MB
Browse 

<!-- 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.6</version>
</dependency>
// https://jarcasting.com/artifacts/org.ow2.sat4j/org.ow2.sat4j.core/
implementation 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.6'
// https://jarcasting.com/artifacts/org.ow2.sat4j/org.ow2.sat4j.core/
implementation ("org.ow2.sat4j:org.ow2.sat4j.core:2.3.6")
'org.ow2.sat4j:org.ow2.sat4j.core:jar:2.3.6'
<dependency org="org.ow2.sat4j" name="org.ow2.sat4j.core" rev="2.3.6">
  <artifact name="org.ow2.sat4j.core" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.ow2.sat4j', module='org.ow2.sat4j.core', version='2.3.6')
)
libraryDependencies += "org.ow2.sat4j" % "org.ow2.sat4j.core" % "2.3.6"
[org.ow2.sat4j/org.ow2.sat4j.core "2.3.6"]

Dependencies

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.