<dependency>
<groupId>net.automatalib.distribution</groupId>
<artifactId>automata-distribution</artifactId>
<version>0.11.0</version>
<type>pom</type>
</dependency>
libraryDependencies += "net.automatalib.distribution" % "automata-distribution" % "0.11.0"
@Grapes(
@Grab(group='net.automatalib.distribution', module='automata-distribution', version='0.11.0')
)
<dependency org="net.automatalib.distribution" name="automata-distribution" rev="0.11.0" />
<parent> <groupId>net.automatalib</groupId> <artifactId>automata-build-parent</artifactId> <version>0.11.0</version> </parent>
compile
|-- net.automatalib:automata-brics
|-- net.automatalib:automata-api
|-- net.automatalib:automata-commons-smartcollections
|-- net.automatalib:automata-commons-util
|-- net.automatalib:automata-core
|-- net.automatalib:automata-incremental
|-- net.automatalib:automata-modelchecking-ltsmin
|-- net.automatalib:automata-modelchecking-m3c
|-- net.automatalib:automata-serialization-aut
|-- net.automatalib:automata-serialization-core
|-- net.automatalib:automata-serialization-dot
|-- net.automatalib:automata-serialization-etf
|-- net.automatalib:automata-serialization-fsm
|-- net.automatalib:automata-serialization-learnlibv2
|-- net.automatalib:automata-serialization-saf
|-- net.automatalib:automata-serialization-taf
|-- net.automatalib:automata-util