mvncenter: org.ow2.sat4j:org.ow2.sat4j.pb:2.3.6

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

problems pseudo library optimization contains boolean algorithms solving

Files download

Apache Maven

<dependency>
  <groupId>org.ow2.sat4j</groupId>
  <artifactId>org.ow2.sat4j.pb</artifactId>
  <version>2.3.6</version>
</dependency>

Gradle Groovy

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

Gradle Kotlin

implementation("org.ow2.sat4j:org.ow2.sat4j.pb:2.3.6")

Scala SBT

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

Groovy Grape

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

Apache Ivy

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

Leiningen

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

Apache Buildr

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

Dependencies

<parent>
  <groupId>org.ow2.sat4j</groupId>
  <artifactId>org.ow2.sat4j.pom</artifactId>
  <version>2.3.6</version>
</parent>

compile

test