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.

License

License

GroupId

GroupId

org.ow2.sat4j
ArtifactId

ArtifactId

org.ow2.sat4j.core
Last Version

Last Version

2.3.6
Release Date

Release Date

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

How to add to project

<!-- 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.

Versions

Version
2.3.6
2.3.5
2.3.4
2.3.3