org.ow2.sat4j:org.ow2.sat4j.pb 2.3.5

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

GroupId	org.ow2.sat4j
ArtifactId	org.ow2.sat4j.pb
Version	2.3.5
Type	jar

Download org.ow2.sat4j.pb 2.3.5

Filename	Size
org.ow2.sat4j.pb-2.3.5.pom
org.ow2.sat4j.pb-2.3.5.jar	224 KB
org.ow2.sat4j.pb-2.3.5-tests.jar	73 KB
org.ow2.sat4j.pb-2.3.5-sources.jar	226 KB
org.ow2.sat4j.pb-2.3.5-javadoc.jar	2 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.5</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.5'

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

<dependency org="org.ow2.sat4j" name="org.ow2.sat4j.pb" rev="2.3.5">
  <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.5')
)

Scala SBT

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

Leiningen

[org.ow2.sat4j/org.ow2.sat4j.pb "2.3.5"]