GroupId | GroupIdorg.graphwalker |
---|---|
ArtifactId | ArtifactIdgraphwalker-model-checker |
Version | Version4.0.1 |
Type | Typejar |
<!-- https://jarcasting.com/artifacts/org.graphwalker/graphwalker-model-checker/ -->
<dependency>
<groupId>org.graphwalker</groupId>
<artifactId>graphwalker-model-checker</artifactId>
<version>4.0.1</version>
</dependency>
// https://jarcasting.com/artifacts/org.graphwalker/graphwalker-model-checker/
implementation 'org.graphwalker:graphwalker-model-checker:4.0.1'
// https://jarcasting.com/artifacts/org.graphwalker/graphwalker-model-checker/
implementation ("org.graphwalker:graphwalker-model-checker:4.0.1")
'org.graphwalker:graphwalker-model-checker:jar:4.0.1'
<dependency org="org.graphwalker" name="graphwalker-model-checker" rev="4.0.1">
<artifact name="graphwalker-model-checker" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.graphwalker', module='graphwalker-model-checker', version='4.0.1')
)
libraryDependencies += "org.graphwalker" % "graphwalker-model-checker" % "4.0.1"
[org.graphwalker/graphwalker-model-checker "4.0.1"]