How To Install Java Artifact org.cprover.util.cprover-api v1.0.0

Introduction

In this article, we'll learn how to install Java artifact cprover-api from org.cprover.util group in version 1.0.0. The artifact is available in 1 versions: 1.0.0 . The CProver-API project has been released under BSD-3-Clause-License license, and has its own website at: https://github.com/diffblue/java-cprover-api .

How To Install Java Artifact org.cprover.util.cprover-api In Version 1.0.0

To install the CProver-API artifact in version 1.0.0 add the following dependency to your pom.xml file for Maven Project.

<dependency> <groupId>org.cprover.util</groupId> <artifactId>cprover-api</artifactId> <version>1.0.0</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 CProver-API 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.cprover.util</groupId> <artifactId>cprover-api</artifactId> <version>1.0.0</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