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