artifactId=de.uni_freiburg.informatik.ultimate.lib.lassoranker
groupId=de.uni_freiburg.informatik.ultimate
version=0.9.5
