net.automatalib:automata-modelchecking-ltsmin 0.8.0

LTSmin Model Checker

Categories	Net Auto Application Layer Libs Code Generators
GroupId	net.automatalib
ArtifactId	automata-modelchecking-ltsmin
Version	0.8.0
Type	jar

Download automata-modelchecking-ltsmin 0.8.0

Filename	Size
automata-modelchecking-ltsmin-0.8.0.pom
automata-modelchecking-ltsmin-0.8.0.jar	42 KB
automata-modelchecking-ltsmin-0.8.0-sources.jar	35 KB
automata-modelchecking-ltsmin-0.8.0-javadoc.jar	193 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/net.automatalib/automata-modelchecking-ltsmin/ -->
<dependency>
    <groupId>net.automatalib</groupId>
    <artifactId>automata-modelchecking-ltsmin</artifactId>
    <version>0.8.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/net.automatalib/automata-modelchecking-ltsmin/
implementation 'net.automatalib:automata-modelchecking-ltsmin:0.8.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/net.automatalib/automata-modelchecking-ltsmin/
implementation ("net.automatalib:automata-modelchecking-ltsmin:0.8.0")

Apache Buildr

'net.automatalib:automata-modelchecking-ltsmin:jar:0.8.0'

Apache Ivy

<dependency org="net.automatalib" name="automata-modelchecking-ltsmin" rev="0.8.0">
  <artifact name="automata-modelchecking-ltsmin" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='net.automatalib', module='automata-modelchecking-ltsmin', version='0.8.0')
)

Scala SBT

libraryDependencies += "net.automatalib" % "automata-modelchecking-ltsmin" % "0.8.0"

Leiningen

[net.automatalib/automata-modelchecking-ltsmin "0.8.0"]