org.sosy-lab:common (maven): Library of common components for SoSy-Lab Projects
Keywords: java