MVN

org.sat4j : org.sat4j.core

Maven & Gradle

Oct 31, 2011

16 usages

SAT4J core · The core library contains a flexible implementation in Java of the initial Minisat specification. The library is regularly updated with latest SAT technologies. It is a mature software that target Java developer willing to use SAT capability in their software.

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

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

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.coreimplementation 'org.sat4j:org.sat4j.core:2.3.1'

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.coreimplementation("org.sat4j:org.sat4j.core:2.3.1")

// https://mavenlibs.com/maven/dependency/org.sat4j/org.sat4j.corelibraryDependencies += "org.sat4j" % "org.sat4j.core" % "2.3.1"

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

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

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

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

Latest Stable: 2.3.1

All Versions

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

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

Version

Vulnerabilities

Updated

2.3.x

org.sat4j.core-2.3.1

Oct 31, 2011

org.sat4j.core-2.3.0

Mar 30, 2011

2.2.x

org.sat4j.core-2.2.3

Dec 24, 2010

2.0.x

org.sat4j.core-2.0.4

Nov 05, 2008

org.sat4j.core-2.0.0

Oct 01, 2008

How to add a dependency to Maven

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

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

How to add a dependency to Gradle

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

implementation 'org.sat4j:org.sat4j.core:2.3.1'

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

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

How to add a dependency to SBT Scala

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

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

arquillian-cube-requirement

@org.arquillian.cube

Oct 16, 2018

69 usages

114 stars

pebble

@com.mitchellbosecke

Jun 05, 2017

46 usages

918 stars

cat-gradle-utils

@cc.catalysts.gradle

Jan 30, 2019

6 usages

13 stars

ardulink-core-base

@org.ardulink

May 17, 2019

14 usages

45 stars

genflow-api

@com.reprezen.genflow

Jul 24, 2019

22 usages

10 stars

cougar-util

@com.betfair.cougar

Jun 06, 2015

21 usages

28 stars

hudson-cli

@org.jvnet.hudson.main

May 30, 2012

5 usages

wildfly-controller-client

@org.wildfly

Jul 24, 2015

33 usages

common-util

@com.ardikars.common

Aug 16, 2019

19 usages

1 stars

mule-module-xml

@org.mule.modules

Apr 27, 2018

53 usages

260 stars

More Dependencies ❯