MVN

org.into-cps.maestro : modeldefinitionchecker

Maven & Gradle

Oct 03, 2022

1 usages

13 stars

A VDM model checker for Model Definition

Documentation Readme Maven Central

<!-- https://mavenlibs.com/maven/dependency/org.into-cps.maestro/modeldefinitionchecker --><dependency>
    <groupId>org.into-cps.maestro</groupId>
    <artifactId>modeldefinitionchecker</artifactId>
    <version>2.3.0</version>
</dependency>

// https://mavenlibs.com/maven/dependency/org.into-cps.maestro/modeldefinitioncheckerimplementation group: 'org.into-cps.maestro', name: 'modeldefinitionchecker', version: '2.3.0'

// https://mavenlibs.com/maven/dependency/org.into-cps.maestro/modeldefinitioncheckerimplementation 'org.into-cps.maestro:modeldefinitionchecker:2.3.0'

// https://mavenlibs.com/maven/dependency/org.into-cps.maestro/modeldefinitioncheckerimplementation("org.into-cps.maestro:modeldefinitionchecker:2.3.0")

// https://mavenlibs.com/maven/dependency/org.into-cps.maestro/modeldefinitioncheckerlibraryDependencies += "org.into-cps.maestro" % "modeldefinitionchecker" % "2.3.0"

<!-- https://mavenlibs.com/maven/dependency/org.into-cps.maestro/modeldefinitionchecker --><dependency org="org.into-cps.maestro" name="modeldefinitionchecker" rev="2.3.0"/>

// https://mavenlibs.com/maven/dependency/org.into-cps.maestro/modeldefinitionchecker@Grapes(
    @Grab(group='org.into-cps.maestro', module='modeldefinitionchecker', version='2.3.0')
)

;; https://mavenlibs.com/maven/dependency/org.into-cps.maestro/modeldefinitionchecker[org.into-cps.maestro/modeldefinitionchecker "2.3.0"]

# https://mavenlibs.com/maven/dependency/org.into-cps.maestro/modeldefinitionchecker'org.into-cps.maestro:modeldefinitionchecker:jar:2.3.0'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a dependency to Maven
How to add a dependency to Gradle
How to add a dependency to SBT Scala

Latest Version

Choose a version of org.into-cps.maestro : modeldefinitionchecker to add to Maven or Gradle - Latest Versions:

Latest Stable: 2.3.0

All Versions

Choose a version of org.into-cps.maestro : modeldefinitionchecker to add to Maven or Gradle - All Versions:

Version	Vulnerabilities	Updated
2.3.x	modeldefinitionchecker-2.3.0		Oct 03, 2022
2.2.x	modeldefinitionchecker-2.2.5		Sep 30, 2022
modeldefinitionchecker-2.2.4		Sep 29, 2022
modeldefinitionchecker-2.2.3		Sep 29, 2022
modeldefinitionchecker-2.2.2		Sep 26, 2022
modeldefinitionchecker-2.2.1		Sep 22, 2022
2.1.x	modeldefinitionchecker-2.1.9		Nov 18, 2021
modeldefinitionchecker-2.1.8		Oct 06, 2021
modeldefinitionchecker-2.1.7		Sep 16, 2021
modeldefinitionchecker-2.1.6		Sep 02, 2021
modeldefinitionchecker-2.1.5		Jun 30, 2021

Version

Vulnerabilities

Updated

2.3.x

modeldefinitionchecker-2.3.0

Oct 03, 2022

2.2.x

modeldefinitionchecker-2.2.5

Sep 30, 2022

modeldefinitionchecker-2.2.4

Sep 29, 2022

modeldefinitionchecker-2.2.3

Sep 29, 2022

modeldefinitionchecker-2.2.2

Sep 26, 2022

modeldefinitionchecker-2.2.1

Sep 22, 2022

2.1.x

modeldefinitionchecker-2.1.9

Nov 18, 2021

modeldefinitionchecker-2.1.8

Oct 06, 2021

modeldefinitionchecker-2.1.7

Sep 16, 2021

modeldefinitionchecker-2.1.6

Sep 02, 2021

modeldefinitionchecker-2.1.5

Jun 30, 2021

How to add a dependency to Maven

Add the following org.into-cps.maestro : modeldefinitionchecker maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>org.into-cps.maestro</groupId>
    <artifactId>modeldefinitionchecker</artifactId>
    <version>2.3.0</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following org.into-cps.maestro : modeldefinitionchecker gradle dependency to your build.gradle file:

implementation 'org.into-cps.maestro:modeldefinitionchecker:2.3.0'

Gradle Kotlin DSL: Add the following org.into-cps.maestro : modeldefinitionchecker gradle kotlin dependency to your build.gradle.kts file:

implementation("org.into-cps.maestro:modeldefinitionchecker:2.3.0")

How to add a dependency to SBT Scala

SBT Scala: Add the following org.into-cps.maestro : modeldefinitionchecker sbt scala dependency to your build.sbt file:

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

Dependencies from Group

ast

@org.into-cps.maestro

Oct 03, 2022

8 usages

13 stars

parser

@org.into-cps.maestro

Oct 03, 2022

4 usages

13 stars

core

@org.into-cps.maestro

Oct 03, 2022

4 usages

13 stars

fmi

@org.into-cps.maestro

Oct 03, 2022

4 usages

13 stars

typechecker

@org.into-cps.maestro

Oct 03, 2022

3 usages

13 stars

More Dependencies ❯

Discover Dependencies

huemul-sql-decode_2.12

@com.huemulsolutions.bigdata

Jul 17, 2021

1 usages

0 stars

eo-runtime

@io.github.hse-eolang

Jul 31, 2021

2 usages

1 stars

arrow-gradle-config-publish-jvm

@io.arrow-kt

Nov 06, 2021

1 usages

11 stars

arrow-gradle-config-publish-gradle-plugin

@io.arrow-kt

Nov 06, 2021

1 usages

11 stars

arrow-gradle-config-jvm

@io.arrow-kt

Nov 06, 2021

1 usages

11 stars

cacophony-spring-boot-autoconfigure

@io.github.key-del-jeeinho

Nov 11, 2021

1 usages

9 stars

unflow

@com.unflow

Feb 03, 2023

1 usages

algorigoble2

@com.algorigo.rx

Mar 10, 2023

1 usages

0 stars

pulsar4s-cats-effect_2.12

@com.clever-cloud.pulsar4s

Jan 08, 2023

1 usages

227 stars

ibatis-common

@com.ibatis

Nov 06, 2006

2 usages

More Dependencies ❯