Dependency Information
Apache Maven
<dependency> <groupId>de.learnlib</groupId> <artifactId>learnlib-counterexamples</artifactId> <version>0.17.0</version> </dependency>
Apache Ivy
<dependency org="de.learnlib" name="learnlib-counterexamples" rev="0.17.0"> <artifact name="learnlib-counterexamples" type="jar" /> </dependency>
Groovy Grape
@Grapes( @Grab(group='de.learnlib', module='learnlib-counterexamples', version='0.17.0') )
Gradle/Grails
implementation 'de.learnlib:learnlib-counterexamples:0.17.0'
Scala SBT
libraryDependencies += "de.learnlib" % "learnlib-counterexamples" % "0.17.0"
Leiningen
[de.learnlib/learnlib-counterexamples "0.17.0"]