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.

<dependency>
    <groupId>org.ow2.sat4j</groupId>
    <artifactId>org.ow2.sat4j.core</artifactId>
    <version>2.3.6</version>
</dependency>
Copy
pom.xml
Table Of Contents

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
org.ow2.sat4j.core-2.3.5
org.ow2.sat4j.core-2.3.4
org.ow2.sat4j.core-2.3.3

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"

Advertisement

Dependencies from Group

Dec 14, 2020
25 usages
Dec 14, 2020
10 usages
Dec 14, 2020
5 usages
Dec 14, 2020
2 usages
May 25, 2013
1 usages

Discover Dependencies

Dec 20, 2021
70 usages
26 stars
poi
Jun 30, 2008
60 usages
Oct 14, 2018
3 usages
317 stars
Mar 02, 2018
4 usages
27 stars
Nov 22, 2016
3 usages
0 stars
Sep 04, 2018
3 usages
0 stars
tvm
Nov 11, 2021
4 usages