How To Install Java Artifact org.sat4j.org.sat4j.pb v2.0.4

Introduction

In this article, we'll learn how to install Java artifact org.sat4j.pb from org.sat4j group in version 2.0.4. The artifact is available in 5 versions: 2.3.1 2.3.0 2.2.3 2.0.4 2.0.0

How To Install Java Artifact org.sat4j.org.sat4j.pb In Version 2.0.4

To install the Org Sat4j Org.sat4j.pb artifact in version 2.0.4 add the following dependency to your pom.xml file for Maven Project.

<dependency> <groupId>org.sat4j</groupId> <artifactId>org.sat4j.pb</artifactId> <version>2.0.4</version> </dependency>

The dependency needs to be added in the dependencies section which is located in the main project tag of the pom.xml file. The sample pom.xml file that uses Org Sat4j Org.sat4j.pb dependency could look as follows:

<?xml version="1.0" encoding="UTF-8"?> <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"> <modelVersion>4.0.0</modelVersion> <groupId>com.frontbackend</groupId> <artifactId>maven-repository</artifactId> <version>1.0-SNAPSHOT</version> <dependencies> <dependency> <groupId>org.sat4j</groupId> <artifactId>org.sat4j.pb</artifactId> <version>2.0.4</version> </dependency> </dependencies> </project>

Other dependency snippets for Gradle, SBT, Ivy, Grape, Leiningen, and Buildr

Below you can find code snippets for other project build tools like Gradle, SBT, Ivy, Grape, Leiningen, and Buildr.

• Gradle
• SBT
• Ivy
• Grape
• Leiningen
• Buildr