| License |
License |
|---|---|
| GroupId | GroupIdorg.into-cps.maestro |
| ArtifactId | ArtifactIdmodeldefinitionchecker |
| Last Version | Last Version2.1.9 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
DescriptionA VDM model checker for Model Definition
Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/
|
| Project Organization |
Project Organization |
JarCasting<!-- https://jarcasting.com/artifacts/org.into-cps.maestro/modeldefinitionchecker/ -->
<dependency>
<groupId>org.into-cps.maestro</groupId>
<artifactId>modeldefinitionchecker</artifactId>
<version>2.1.9</version>
</dependency>// https://jarcasting.com/artifacts/org.into-cps.maestro/modeldefinitionchecker/
implementation 'org.into-cps.maestro:modeldefinitionchecker:2.1.9'// https://jarcasting.com/artifacts/org.into-cps.maestro/modeldefinitionchecker/
implementation ("org.into-cps.maestro:modeldefinitionchecker:2.1.9")'org.into-cps.maestro:modeldefinitionchecker:jar:2.1.9'<dependency org="org.into-cps.maestro" name="modeldefinitionchecker" rev="2.1.9">
<artifact name="modeldefinitionchecker" type="jar" />
</dependency>@Grapes(
@Grab(group='org.into-cps.maestro', module='modeldefinitionchecker', version='2.1.9')
)libraryDependencies += "org.into-cps.maestro" % "modeldefinitionchecker" % "2.1.9"[org.into-cps.maestro/modeldefinitionchecker "2.1.9"]| Group / Artifact | Type | Version |
|---|---|---|
| org.overturetool.core.codegen : codegen-runtime | jar | 2.4.4 |
| org.into-cps.maestro : fmi | jar | 2.1.9 |
| com.spencerwi : Either.java | jar | 2.1.1 |
| org.apache.logging.log4j : log4j-core | jar | 2.14.1 |
| org.apache.logging.log4j : log4j-slf4j-impl | jar | 2.14.1 |
| Group / Artifact | Type | Version |
|---|---|---|
| org.junit.jupiter : junit-jupiter | jar | 5.7.1 |