https://github.com/sosy-lab/java-common-lib
SoSy-Lab Java Common Library
https://github.com/sosy-lab/java-common-lib
java
Last synced: 6 months ago
JSON representation
SoSy-Lab Java Common Library
- Host: GitHub
- URL: https://github.com/sosy-lab/java-common-lib
- Owner: sosy-lab
- License: apache-2.0
- Created: 2015-11-18T11:32:48.000Z (over 10 years ago)
- Default Branch: main
- Last Pushed: 2026-01-11T03:57:17.000Z (6 months ago)
- Last Synced: 2026-01-11T11:10:01.200Z (6 months ago)
- Topics: java
- Language: Java
- Homepage: https://www.sosy-lab.org
- Size: 2.61 MB
- Stars: 13
- Watchers: 16
- Forks: 11
- Open Issues: 13
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# SoSy-Lab Common
[](https://travis-ci.org/sosy-lab/java-common-lib)
[](https://www.apache.org/licenses/LICENSE-2.0)
[](https://maven-badges.herokuapp.com/maven-central/org.sosy-lab/common)
A collection of utilities for Java.
### [Java-Config](https://sosy-lab.github.io/java-common-lib/api/org/sosy_lab/common/configuration/package-summary.html)
- Library for configuration options injection.
### [Java-Rationals](https://sosy-lab.github.io/java-common-lib/api/org/sosy_lab/common/rationals/package-summary.html)
- Working with rationals and extended rationals, plus linear expressions.
[Javadoc documentation](https://sosy-lab.github.io/java-common-lib/) for entire project.
## License and Copyright
The license of this project is the [Apache 2.0 License](https://www.apache.org/licenses/LICENSE-2.0),
copyright [Dirk Beyer](https://www.sosy-lab.org/people/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:
```xml
```
And the Ivy repository URL is:
```xml
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:
```xml
org.sosy-lab
common
0.3000
```
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.