MVN

org.sat4j : org.sat4j.pb

Maven & Gradle

Oct 31, 2011

5 usages

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

<!-- https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.pb --><dependency>
    <groupId>org.sat4j</groupId>
    <artifactId>org.sat4j.pb</artifactId>
    <version>2.3.1</version>
</dependency>

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.pbimplementation group: 'org.sat4j', name: 'org.sat4j.pb', version: '2.3.1'

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.pbimplementation 'org.sat4j:org.sat4j.pb:2.3.1'

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.pbimplementation("org.sat4j:org.sat4j.pb:2.3.1")

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.pblibraryDependencies += "org.sat4j" % "org.sat4j.pb" % "2.3.1"

<!-- https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.pb --><dependency org="org.sat4j" name="org.sat4j.pb" rev="2.3.1"/>

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.pb@Grapes(
    @Grab(group='org.sat4j', module='org.sat4j.pb', version='2.3.1')
)

;; https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.pb[org.sat4j/org.sat4j.pb "2.3.1"]

# https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.pb'org.sat4j:org.sat4j.pb:jar:2.3.1'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a dependency to Maven
How to add a dependency to Gradle
How to add a dependency to SBT Scala

Latest Version

Choose a version of org.sat4j : org.sat4j.pb to add to Maven or Gradle - Latest Versions:

Latest Stable: 2.3.1

All Versions

Choose a version of org.sat4j : org.sat4j.pb to add to Maven or Gradle - All Versions:

Version	Vulnerabilities	Updated
2.3.x	org.sat4j.pb-2.3.1		Oct 31, 2011
org.sat4j.pb-2.3.0		Mar 30, 2011
2.2.x	org.sat4j.pb-2.2.3		Dec 24, 2010
2.0.x	org.sat4j.pb-2.0.4		Nov 05, 2008
org.sat4j.pb-2.0.0		Oct 01, 2008

Version

Vulnerabilities

Updated

2.3.x

org.sat4j.pb-2.3.1

Oct 31, 2011

org.sat4j.pb-2.3.0

Mar 30, 2011

2.2.x

org.sat4j.pb-2.2.3

Dec 24, 2010

2.0.x

org.sat4j.pb-2.0.4

Nov 05, 2008

org.sat4j.pb-2.0.0

Oct 01, 2008

How to add a dependency to Maven

Add the following org.sat4j : org.sat4j.pb maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>org.sat4j</groupId>
    <artifactId>org.sat4j.pb</artifactId>
    <version>2.3.1</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following org.sat4j : org.sat4j.pb gradle dependency to your build.gradle file:

implementation 'org.sat4j:org.sat4j.pb:2.3.1'

Gradle Kotlin DSL: Add the following org.sat4j : org.sat4j.pb gradle kotlin dependency to your build.gradle.kts file:

implementation("org.sat4j:org.sat4j.pb:2.3.1")

How to add a dependency to SBT Scala

SBT Scala: Add the following org.sat4j : org.sat4j.pb sbt scala dependency to your build.sbt file:

libraryDependencies += "org.sat4j" % "org.sat4j.pb" % "2.3.1"

Dependencies from Group

org.sat4j.core

@org.sat4j

Oct 31, 2011

16 usages

org.sat4j.pb

@org.sat4j

Oct 31, 2011

5 usages

org.sat4j.maxsat

@org.sat4j

Oct 31, 2011

1 usages

org.sat4j.csp.xmlparser

@org.sat4j

Mar 30, 2011

1 usages

org.sat4j.csp

@org.sat4j

Mar 30, 2011

More Dependencies ❯

Discover Dependencies

connectors-runtime

@org.glassfish.connectors

Jul 28, 2011

9 usages

gxt-themebuilder

@com.sencha.gxt

Jul 24, 2014

1 usages

hudson-gwt-test-support

@org.hudsonci.libs

Jun 06, 2013

2 usages

turn-http-server

@org.littleshoot

May 14, 2013

2 usages

6 stars

salat_2.10

@com.novus

Aug 20, 2014

15 usages

6 stars

wcs

@org.geoserver

Nov 18, 2008

3 usages

jsr299-tck-impl

@org.jboss.jsr299.tck

Jun 18, 2014

13 usages

24 stars

SassyReader

@org.eobjects.sassyreader

Apr 23, 2012

3 usages

org.99soft.trudeau.utils

@org.99soft.trudeau

Dec 15, 2013

2 usages

0 stars

fat32-lib

@de.waldheinz

Aug 21, 2014

3 usages

40 stars

More Dependencies ❯