MVN

org.ow2.sat4j : org.ow2.sat4j.core

Maven & Gradle

Dec 14, 2020

25 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.ow2.sat4j/org.ow2.sat4j.core --><dependency>
    <groupId>org.ow2.sat4j</groupId>
    <artifactId>org.ow2.sat4j.core</artifactId>
    <version>2.3.6</version>
</dependency>

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

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

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

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

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

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

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

# https://mavenlibs.com/maven/dependency/org.ow2.sat4j/org.ow2.sat4j.core'org.ow2.sat4j:org.ow2.sat4j.core:jar:2.3.6'

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.ow2.sat4j : org.ow2.sat4j.core to add to Maven or Gradle - Latest Versions:

Latest Stable: 2.3.6

All Versions

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

Version	Vulnerabilities	Updated
2.3.x	org.ow2.sat4j.core-2.3.6		Dec 14, 2020
org.ow2.sat4j.core-2.3.5		May 25, 2013
org.ow2.sat4j.core-2.3.4		Apr 19, 2013
org.ow2.sat4j.core-2.3.3		Feb 16, 2013

Version

Vulnerabilities

Updated

2.3.x

org.ow2.sat4j.core-2.3.6

Dec 14, 2020

org.ow2.sat4j.core-2.3.5

May 25, 2013

org.ow2.sat4j.core-2.3.4

Apr 19, 2013

org.ow2.sat4j.core-2.3.3

Feb 16, 2013

How to add a dependency to Maven

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

<dependency>
    <groupId>org.ow2.sat4j</groupId>
    <artifactId>org.ow2.sat4j.core</artifactId>
    <version>2.3.6</version>
</dependency>

How to add a dependency to Gradle

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

implementation 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.6'

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

implementation("org.ow2.sat4j:org.ow2.sat4j.core:2.3.6")

How to add a dependency to SBT Scala

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

libraryDependencies += "org.ow2.sat4j" % "org.ow2.sat4j.core" % "2.3.6"

Dependencies from Group

org.ow2.sat4j.core

@org.ow2.sat4j

Dec 14, 2020

25 usages

org.ow2.sat4j.pb

@org.ow2.sat4j

Dec 14, 2020

10 usages

org.ow2.sat4j.maxsat

@org.ow2.sat4j

Dec 14, 2020

5 usages

org.ow2.sat4j.sat

@org.ow2.sat4j

Dec 14, 2020

2 usages

org.ow2.sat4j.csp

@org.ow2.sat4j

May 25, 2013

1 usages

More Dependencies ❯

Discover Dependencies

seed-testing

@org.seedstack.seed

Dec 20, 2021

70 usages

26 stars

poi

@poi

Jun 30, 2008

60 usages

jaxrs-analyzer

@com.sebastian-daschner

Oct 14, 2018

3 usages

317 stars

samsam

@org.webjars.npm

Mar 02, 2018

4 usages

26 stars

dutil-vc9

@org.wixtoolset.sdk.nar

Nov 22, 2016

3 usages

0 stars

dutil-vc10

@org.wixtoolset.sdk.nar

Sep 04, 2018

3 usages

0 stars

extend-spring-cloud-starter

@com.battcn.cloud

Aug 06, 2019

4 usages

tvm

@dev.applibgroup

Nov 11, 2021

4 usages

geronimo-management

@org.apache.geronimo.framework

May 23, 2013

30 usages

jazure-sdk-core

@com.googlecode.jazure

Jun 21, 2010

More Dependencies ❯