JarCasting
JarCasting JarCasting
Last Version

SAT4J pseudo 2.3.1

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

License

License
GroupId

GroupId

org.sat4j
ArtifactId

ArtifactId

org.sat4j.pb
Version

Version

2.3.1
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 2.3.1

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 

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