A VDM model checker for Model Definition

Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/

License	INTO-CPS Association Public License
GroupId	org.into-cps.maestro
ArtifactId	modeldefinitionchecker
Last Version	2.1.9
Release Date	Nov 18, 2021
Type	jar
Description	A VDM model checker for Model Definition Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/
Project Organization	INTO CPS

Download modeldefinitionchecker

Filename	Size
modeldefinitionchecker-2.1.9.pom
modeldefinitionchecker-2.1.9.jar	52 KB
modeldefinitionchecker-2.1.9-sources.jar	31 KB
modeldefinitionchecker-2.1.9-javadoc.jar	532 KB

How to add to project

Apache Maven

<!-- 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>

Gradle Groovy

// https://jarcasting.com/artifacts/org.into-cps.maestro/modeldefinitionchecker/
implementation 'org.into-cps.maestro:modeldefinitionchecker:2.1.9'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.into-cps.maestro/modeldefinitionchecker/
implementation ("org.into-cps.maestro:modeldefinitionchecker:2.1.9")

Apache Buildr

'org.into-cps.maestro:modeldefinitionchecker:jar:2.1.9'

Apache Ivy

<dependency org="org.into-cps.maestro" name="modeldefinitionchecker" rev="2.1.9">
  <artifact name="modeldefinitionchecker" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.into-cps.maestro', module='modeldefinitionchecker', version='2.1.9')
)

Scala SBT

libraryDependencies += "org.into-cps.maestro" % "modeldefinitionchecker" % "2.1.9"

Leiningen

[org.into-cps.maestro/modeldefinitionchecker "2.1.9"]

Dependencies

compile (5)

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

test (1)

Group / Artifact	Type	Version
org.junit.jupiter : junit-jupiter	jar	5.7.1

Project Modules

There are no modules declared in this project.

Versions

Version
2.1.9 Nov 18, 2021
2.1.8 Oct 6, 2021
2.1.7 Sep 16, 2021
2.1.6 Sep 2, 2021
2.1.5 Jun 30, 2021