MVN

org.sat4j : org.sat4j.sat

Maven & Gradle

Mar 30, 2011

SAT4J sat

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

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.satimplementation group: 'org.sat4j', name: 'org.sat4j.sat', version: '2.3.0'

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.satimplementation 'org.sat4j:org.sat4j.sat:2.3.0'

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.satimplementation("org.sat4j:org.sat4j.sat:2.3.0")

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.satlibraryDependencies += "org.sat4j" % "org.sat4j.sat" % "2.3.0"

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

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

;; https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.sat[org.sat4j/org.sat4j.sat "2.3.0"]

# https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.sat'org.sat4j:org.sat4j.sat:jar:2.3.0'

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.sat to add to Maven or Gradle - Latest Versions:

Latest Stable: 2.3.0

All Versions

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

Version	Vulnerabilities	Updated
2.3.x	org.sat4j.sat-2.3.0		Mar 30, 2011
2.2.x	org.sat4j.sat-2.2.3		Dec 24, 2010

Version

Vulnerabilities

Updated

2.3.x

org.sat4j.sat-2.3.0

Mar 30, 2011

2.2.x

org.sat4j.sat-2.2.3

Dec 24, 2010

How to add a dependency to Maven

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

<dependency>
    <groupId>org.sat4j</groupId>
    <artifactId>org.sat4j.sat</artifactId>
    <version>2.3.0</version>
</dependency>

How to add a dependency to Gradle

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

implementation 'org.sat4j:org.sat4j.sat:2.3.0'

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

implementation("org.sat4j:org.sat4j.sat:2.3.0")

How to add a dependency to SBT Scala

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

libraryDependencies += "org.sat4j" % "org.sat4j.sat" % "2.3.0"

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

force-spa-jersey

@net.davidbuccola.force-spa

Nov 20, 2013

dispatch-tagsoup_2.8.1

@net.databinder

Jun 29, 2013

423 stars

sitebricks-cloud

@com.google.sitebricks

Nov 08, 2013

1 usages

249 stars

listener-disk-console

@fr.inria.powerapi.listener

Mar 22, 2013

9 stars

beehive-jms-control

@org.apache.beehive

Jan 06, 2007

mastermind

@com.stoyanr.mastermind

Sep 22, 2012

8 stars

HsaTools-Search-composite-types

@se.vgregion.HsaTools

Aug 17, 2012

tycho-support

@io.tesla.tycho

May 29, 2014

fuzzyservices-spring

@net.sourceforge.fuzzyservices

Sep 23, 2012

sprocket_2.9.1

@com.earldouglas

Jun 01, 2013

More Dependencies ❯