MVN

org.sat4j : org.sat4j.maxsat

Maven & Gradle

Oct 31, 2011

1 usages

SAT4J maxsat

Homepage Maven Central

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

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

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.maxsatimplementation 'org.sat4j:org.sat4j.maxsat:2.3.1'

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.maxsatimplementation("org.sat4j:org.sat4j.maxsat:2.3.1")

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.maxsatlibraryDependencies += "org.sat4j" % "org.sat4j.maxsat" % "2.3.1"

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

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

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

# https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.maxsat'org.sat4j:org.sat4j.maxsat: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.maxsat to add to Maven or Gradle - Latest Versions:

Latest Stable: 2.3.1

All Versions

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

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

Version

Vulnerabilities

Updated

2.3.x

org.sat4j.maxsat-2.3.1

Oct 31, 2011

org.sat4j.maxsat-2.3.0

Mar 30, 2011

2.2.x

org.sat4j.maxsat-2.2.3

Dec 24, 2010

How to add a dependency to Maven

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

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

How to add a dependency to Gradle

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

implementation 'org.sat4j:org.sat4j.maxsat:2.3.1'

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

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

How to add a dependency to SBT Scala

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

libraryDependencies += "org.sat4j" % "org.sat4j.maxsat" % "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

cite1-utils

@org.opengis.cite

Oct 07, 2014

3 usages

0 stars

jjst-lib-jquery

@li.rudin.jjst

Oct 22, 2013

1 usages

bluecove-gpl

@net.sf.bluecove

Dec 25, 2008

5 usages

owlapi-obo

@net.sourceforge.owlapi

Jun 02, 2012

2 usages

icefaces-compat

@org.icefaces

Apr 19, 2013

12 usages

osgi-adapter

@com.sun.enterprise

Aug 01, 2011

8 usages

modules

@rome

May 20, 2010

15 usages

shindig-server

@org.apache.shindig

Nov 11, 2014

9 usages

vaadin-autocomplete

@com.zybnet

Nov 29, 2014

4 usages

9 stars

springjdbc-constructor-mapper

@com.alexkasko.springjdbc

May 06, 2013

1 usages

4 stars

More Dependencies ❯