JarCasting
JarCasting JarCasting

SAT4J pseudo

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

License

License
GroupId

GroupId

org.ow2.sat4j
ArtifactId

ArtifactId

org.ow2.sat4j.pb
Last Version

Last Version

2.3.6
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)
Source Code Management

Source Code Management

https://gitlab.ow2.org/sat4j/sat4j/org.ow2.sat4j.pb/

Download org.ow2.sat4j.pb

Filename Size
org.ow2.sat4j.pb-2.3.6.pom
org.ow2.sat4j.pb-2.3.6.jar 218 KB
org.ow2.sat4j.pb-2.3.6-tests.jar 73 KB
org.ow2.sat4j.pb-2.3.6-sources.jar 222 KB
org.ow2.sat4j.pb-2.3.6-javadoc.jar 1 MB
Browse

How to add to project

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

Dependencies

compile (1)

Group / Artifact Type Version
org.ow2.sat4j : org.ow2.sat4j.core jar 2.3.6

test (2)

Group / Artifact Type Version
junit : junit jar 4.4
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