MVN

org.ow2.sat4j : org.ow2.sat4j.pom

Maven & Gradle

Dec 14, 2020

SAT4J · Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.

<dependency>
    <groupId>org.ow2.sat4j</groupId>
    <artifactId>org.ow2.sat4j.pom</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.pom to add to Maven - Latest Versions:

  • Latest Stable: 2.3.6

All Versions

Choose a version of org.ow2.sat4j : org.ow2.sat4j.pom to add to Maven - All Versions:

Version Vulnerabilities Updated
2.3.x
org.ow2.sat4j.pom-2.3.6
org.ow2.sat4j.pom-2.3.5
org.ow2.sat4j.pom-2.3.4
org.ow2.sat4j.pom-2.3.3

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

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

Advertisement