MVN

org.sat4j : org.sat4j.pom

Maven & Gradle

Oct 31, 2011

SAT4J · The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. Since we use the library for our own research, it is also possible for SAT researchers to use it as a basis for their work.

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

// https://mavenlibs.com/maven/pom/org.sat4j/org.sat4j.pomimplementation group: 'org.sat4j', name: 'org.sat4j.pom', version: '2.3.1'

// https://mavenlibs.com/maven/pom/org.sat4j/org.sat4j.pomimplementation 'org.sat4j:org.sat4j.pom:2.3.1'

// https://mavenlibs.com/maven/pom/org.sat4j/org.sat4j.pomimplementation("org.sat4j:org.sat4j.pom:2.3.1")

// https://mavenlibs.com/maven/pom/org.sat4j/org.sat4j.pomlibraryDependencies += "org.sat4j" % "org.sat4j.pom" % "2.3.1"

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

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

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

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

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a POM dependency to Maven

Latest Version

Choose a version of org.sat4j : org.sat4j.pom to add to Maven - Latest Versions:

Latest Stable: 2.3.1

All Versions

Choose a version of org.sat4j : org.sat4j.pom to add to Maven - All Versions:

Version	Vulnerabilities	Updated
2.3.x	org.sat4j.pom-2.3.1		Oct 31, 2011
org.sat4j.pom-2.3.0		Mar 30, 2011
2.2.x	org.sat4j.pom-2.2.3		Dec 24, 2010

Version

Vulnerabilities

Updated

2.3.x

org.sat4j.pom-2.3.1

Oct 31, 2011

org.sat4j.pom-2.3.0

Mar 30, 2011

2.2.x

org.sat4j.pom-2.2.3

Dec 24, 2010

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

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

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

sample-kibbles

@com.tinkerpop.rexster.rexster-kibbles

Sep 17, 2014

435 stars

plugin-m2

@net.sf.aislib.tools.entities

Aug 27, 2008

org.jibx.schema.org.opentravel._2012A.test.hotel

@org.jibx.schema.org.opentravel._2012A.test

Dec 31, 2014

6 stars

Jan 05, 2014

May 20, 2010

@com.lemoulinstudio.jnag

May 20, 2010

lympid-parent

@com.lympid

Feb 10, 2015

0 stars

swc-example-serialization-archetype

@org.sweble.wikitext

May 26, 2012

bdd-rest

@com.github.grantjforrester

Mar 24, 2015

de.devsurf.injection.guice.examples

@de.devsurf.injection.guice

Jan 13, 2011

65 stars

More Dependencies ❯