MVN

org.into-cps.orchestration : modeldefinitionchecker

Maven & Gradle

Apr 24, 2020

1 usages

8 stars

A VDM model checker for Model Definition

Homepage Documentation Readme Maven Central

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

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

// https://mavenlibs.com/maven/dependency/org.into-cps.orchestration/modeldefinitioncheckerimplementation 'org.into-cps.orchestration:modeldefinitionchecker:1.0.10'

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

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

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

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

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

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

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.orchestration : modeldefinitionchecker to add to Maven or Gradle - Latest Versions:

Latest Stable: 1.0.10

All Versions

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

Version	Vulnerabilities	Updated
1.0.x	modeldefinitionchecker-1.0.10		Apr 24, 2020
modeldefinitionchecker-1.0.6		Nov 25, 2019
modeldefinitionchecker-1.0.4		Sep 27, 2019
modeldefinitionchecker-1.0.2		Sep 13, 2018
modeldefinitionchecker-1.0.0		Feb 21, 2018

Version

Vulnerabilities

Updated

1.0.x

modeldefinitionchecker-1.0.10

Apr 24, 2020

modeldefinitionchecker-1.0.6

Nov 25, 2019

modeldefinitionchecker-1.0.4

Sep 27, 2019

modeldefinitionchecker-1.0.2

Sep 13, 2018

modeldefinitionchecker-1.0.0

Feb 21, 2018

How to add a dependency to Maven

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

<dependency>
    <groupId>org.into-cps.orchestration</groupId>
    <artifactId>modeldefinitionchecker</artifactId>
    <version>1.0.10</version>
</dependency>

How to add a dependency to Gradle

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

implementation 'org.into-cps.orchestration:modeldefinitionchecker:1.0.10'

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

implementation("org.into-cps.orchestration:modeldefinitionchecker:1.0.10")

How to add a dependency to SBT Scala

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

libraryDependencies += "org.into-cps.orchestration" % "modeldefinitionchecker" % "1.0.10"

Dependencies from Group

coe

@org.into-cps.orchestration

Apr 24, 2020

5 usages

8 stars

modeldefinitionchecker

@org.into-cps.orchestration

Apr 24, 2020

1 usages

8 stars

webapi

@org.into-cps.orchestration

Apr 24, 2020

8 stars

More Dependencies ❯

Discover Dependencies

nanohttpd

@org.into-cps

Apr 24, 2020

1 usages

8 stars

waffle-spring-boot-filter

@com.github.waffle.demo

Dec 29, 2020

1 usages

473 stars

model

@com.sbuslab

Jul 19, 2022

1 usages

0 stars

github-crawler-core

@com.societegenerale.github-crawler

Feb 21, 2023

1 usages

96 stars

spring-cloud-stream-binder-solace-core

@com.solace.spring.cloud

May 18, 2023

2 usages

13 stars

babel-plugin-transform-regexp-constructors

@org.webjars.npm

Mar 20, 2019

1 usages

4.3k stars

graphql-kickstart-spring-boot-starter-tools

@com.graphql-java-kickstart

May 14, 2021

3 usages

1.5k stars

netty-http-bouncycastle

@org.xbib

Feb 02, 2022

2 usages

12 stars

odl-jsonrpc-provider

@org.opendaylight.jsonrpc

Jun 20, 2023

2 usages

selfautorestdoc

@tv.hd3g

Jul 19, 2023

4 usages

0 stars

More Dependencies ❯