GitHub repository: sosy-lab/java-common-lib
Primary language: Java
Description: SoSy-Lab Java Common Library