JarCasting
JarCasting JarCasting

SAT4J pseudo

The pb library contains algorithms for solving pseudo boolean optimization problems.

License

License
GroupId

GroupId

org.sat4j
ArtifactId

ArtifactId

org.sat4j.pb
Last Version

Last Version

2.3.1
Release Date

Release Date
Type

Type

jar
Description

Description

SAT4J pseudo
The pb library contains algorithms for solving pseudo boolean optimization problems.
Project Organization

Project Organization

Centre de Recherche en Informatique de Lens (CRIL)

Download org.sat4j.pb

Filename Size
org.sat4j.pb-2.3.1.pom
org.sat4j.pb-2.3.1.jar 198 KB
org.sat4j.pb-2.3.1-tests.jar 67 KB
org.sat4j.pb-2.3.1-sources.jar 203 KB
org.sat4j.pb-2.3.1-javadoc.jar 751 KB
Browse

How to add to project

<!-- https://jarcasting.com/artifacts/org.sat4j/org.sat4j.pb/ -->
<dependency>
    <groupId>org.sat4j</groupId>
    <artifactId>org.sat4j.pb</artifactId>
    <version>2.3.1</version>
</dependency>
// https://jarcasting.com/artifacts/org.sat4j/org.sat4j.pb/
implementation 'org.sat4j:org.sat4j.pb:2.3.1'
// https://jarcasting.com/artifacts/org.sat4j/org.sat4j.pb/
implementation ("org.sat4j:org.sat4j.pb:2.3.1")
'org.sat4j:org.sat4j.pb:jar:2.3.1'
<dependency org="org.sat4j" name="org.sat4j.pb" rev="2.3.1">
  <artifact name="org.sat4j.pb" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.sat4j', module='org.sat4j.pb', version='2.3.1')
)
libraryDependencies += "org.sat4j" % "org.sat4j.pb" % "2.3.1"
[org.sat4j/org.sat4j.pb "2.3.1"]

Dependencies

compile (2)

Group / Artifact Type Version
org.sat4j : org.sat4j.core jar 2.3.1
org.sat4j : org.sat4j.core test-jar 2.3.1

test (1)

Group / Artifact Type Version
junit : junit jar 4.4

Project Modules

There are no modules declared in this project.

Versions

Version
2.3.1
2.3.0
2.2.3
2.0.4
2.0.0