artifactId=de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent
groupId=de.uni_freiburg.informatik.ultimate
version=0.2.4
