sosy-lab/java-common-lib

SoSy-Lab Java Common Library https://www.sosy-lab.org

Download

Step 1. Add the JitPack repository to your build file

Add it in your root settings.gradle at the end of repositories:

	dependencyResolutionManagement {
		repositoriesMode.set(RepositoriesMode.FAIL_ON_PROJECT_REPOS)
		repositories {
			mavenCentral()
			maven { url 'https://jitpack.io' }
		}
	}

Add it in your settings.gradle.kts at the end of repositories:

	dependencyResolutionManagement {
		repositoriesMode.set(RepositoriesMode.FAIL_ON_PROJECT_REPOS)
		repositories {
			mavenCentral()
			maven { url = uri("https://jitpack.io") }
		}
	}

Add to pom.xml

	<repositories>
		<repository>
		    <id>jitpack.io</id>
		    <url>https://jitpack.io</url>
		</repository>
	</repositories>

Add it in your build.sbt at the end of resolvers:

 
    resolvers += "jitpack" at "https://jitpack.io"

Add it in your project.clj at the end of repositories:

 
    :repositories [["jitpack" "https://jitpack.io"]]

Step 2. Add the dependency

	dependencies {
		implementation 'com.github.sosy-lab:java-common-lib:'
	}

	dependencies {
		implementation("com.github.sosy-lab:java-common-lib:")
	}

	<dependency>
	    <groupId>com.github.sosy-lab</groupId>
	    <artifactId>java-common-lib</artifactId>
	    <version></version>
	</dependency>


                            
    libraryDependencies += "com.github.sosy-lab" % "java-common-lib" % ""


                            
    :dependencies [[com.github.sosy-lab/java-common-lib ""]]

Readme

SoSy-Lab Common

A collection of utilities for Java.

Java-Config

Library for configuration options injection.

Java-Rationals

Working with rationals and extended rationals, plus linear expressions.

Javadoc documentation for entire project.

License and Copyright

The license of this project is the Apache 2.0 License, copyright Dirk Beyer and others.

Installation

Using ANT and Ivy

If we use ANT with Ivy in your build process, you can download the latest version of SoSy-Lab Common from our repositories directly. The updates to the Ivy repository are very frequent, and the latest version can be easily found.

The dependency is:

<dependency org="org.sosy_lab" name="common" rev="0.3000" conf="core->runtime; contrib->sources"/>

And the Ivy repository URL is:

https://www.sosy-lab.org/ivy

From Maven Central

The Common library is also published to Maven Central, however the volume of updates is less frequent. If you use Maven, the dependency is:

<dependency>
  <groupId>org.sosy-lab</groupId>
  <artifactId>common</artifactId>
  <version>0.3000</version>
</dependency>

Or for Gradle:

dependencies {
  compile 'org.sosy-lab:common:0.3000'
}

Manually

The latest JAR can be downloaded directly from the Ivy repository, served at

https://www.sosy-lab.org/ivy/org.sosy_lab/common/

This option is least recommended, as the required dependencies (namely, Guava and AutoValue) would need to be downloaded manually. Download the .ivy file corresponding to the obtained jar to see the dependencies and their location in the repository.