SAT4J pseudo 2.3.6

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

License	Eclipse Public License 1.0 GNU Lesser GPL 2.1
GroupId	org.ow2.sat4j
ArtifactId	org.ow2.sat4j.pb
Version	2.3.6
Type	jar
Description	SAT4J pseudo The pb library contains algorithms for solving pseudo boolean optimization problems.
Project Organization	Centre de Recherche en Informatique de Lens (CRIL)
Source Code Management	https://gitlab.ow2.org/sat4j/sat4j/org.ow2.sat4j.pb/

Download org.ow2.sat4j.pb 2.3.6

Filename	Size
org.ow2.sat4j.pb-2.3.6.pom
org.ow2.sat4j.pb-2.3.6.jar	432 KB
org.ow2.sat4j.pb-2.3.6-tests.jar	108 KB
org.ow2.sat4j.pb-2.3.6-sources.jar	344 KB
org.ow2.sat4j.pb-2.3.6-javadoc.jar	1 MB

Apache Maven

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

Gradle Groovy

// https://jarcasting.com/artifacts/org.ow2.sat4j/org.ow2.sat4j.pb/
implementation 'org.ow2.sat4j:org.ow2.sat4j.pb:2.3.6'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.ow2.sat4j/org.ow2.sat4j.pb/
implementation ("org.ow2.sat4j:org.ow2.sat4j.pb:2.3.6")

Apache Buildr

'org.ow2.sat4j:org.ow2.sat4j.pb:jar:2.3.6'

Apache Ivy

<dependency org="org.ow2.sat4j" name="org.ow2.sat4j.pb" rev="2.3.6">
  <artifact name="org.ow2.sat4j.pb" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.ow2.sat4j', module='org.ow2.sat4j.pb', version='2.3.6')
)

Scala SBT

libraryDependencies += "org.ow2.sat4j" % "org.ow2.sat4j.pb" % "2.3.6"

Leiningen

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