MVN

org.overturetool.core : modelcheckers

Maven & Gradle

Oct 08, 2015

44 stars

Model Checkers for VDM

Homepage Documentation Readme Maven Central

<!-- https://mavenlibs.com/maven/pom/org.overturetool.core/modelcheckers --><dependency>
    <groupId>org.overturetool.core</groupId>
    <artifactId>modelcheckers</artifactId>
    <version>probsolverintegration</version>
</dependency>

// https://mavenlibs.com/maven/pom/org.overturetool.core/modelcheckersimplementation group: 'org.overturetool.core', name: 'modelcheckers', version: 'probsolverintegration'

// https://mavenlibs.com/maven/pom/org.overturetool.core/modelcheckersimplementation 'org.overturetool.core:modelcheckers:probsolverintegration'

// https://mavenlibs.com/maven/pom/org.overturetool.core/modelcheckersimplementation("org.overturetool.core:modelcheckers:probsolverintegration")

// https://mavenlibs.com/maven/pom/org.overturetool.core/modelcheckerslibraryDependencies += "org.overturetool.core" % "modelcheckers" % "probsolverintegration"

<!-- https://mavenlibs.com/maven/pom/org.overturetool.core/modelcheckers --><dependency org="org.overturetool.core" name="modelcheckers" rev="probsolverintegration"/>

// https://mavenlibs.com/maven/pom/org.overturetool.core/modelcheckers@Grapes(
    @Grab(group='org.overturetool.core', module='modelcheckers', version='probsolverintegration')
)

;; https://mavenlibs.com/maven/pom/org.overturetool.core/modelcheckers[org.overturetool.core/modelcheckers "probsolverintegration"]

# https://mavenlibs.com/maven/pom/org.overturetool.core/modelcheckers'org.overturetool.core:modelcheckers:jar:probsolverintegration'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a POM dependency to Maven

Latest Version

Choose a version of org.overturetool.core : modelcheckers to add to Maven - Latest Versions:

Latest Stable: probsolverintegration

All Versions

Choose a version of org.overturetool.core : modelcheckers to add to Maven - All Versions:

Version	Vulnerabilities	Updated
2.3.x	modelcheckers-2.3.0		Oct 07, 2015
2.2.x	modelcheckers-2.2.8		Oct 07, 2015
modelcheckers-2.2.6		Jun 19, 2015
modelcheckers-2.2.2		Feb 26, 2015
modelcheckers-2.2.0		Feb 11, 2015
2.1.x	modelcheckers-2.1.6		Jan 16, 2015
modelcheckers-2.1.4		Nov 19, 2014
modelcheckers-2.1.2		Oct 09, 2014
modelcheckers-2.1.0		Jun 12, 2014
2.0.x	modelcheckers-2.0.8		May 20, 2014
modelcheckers-2.0.6		Apr 01, 2014
modelcheckers-2.0.4		Mar 10, 2014
probsolverintegration	modelcheckers-probsolverintegration		Oct 07, 2015
probsolver	modelcheckers-probsolver		Oct 07, 2015

Version

Vulnerabilities

Updated

2.3.x

modelcheckers-2.3.0

Oct 07, 2015

2.2.x

modelcheckers-2.2.8

Oct 07, 2015

modelcheckers-2.2.6

Jun 19, 2015

modelcheckers-2.2.2

Feb 26, 2015

modelcheckers-2.2.0

Feb 11, 2015

2.1.x

modelcheckers-2.1.6

Jan 16, 2015

modelcheckers-2.1.4

Nov 19, 2014

modelcheckers-2.1.2

Oct 09, 2014

modelcheckers-2.1.0

Jun 12, 2014

2.0.x

modelcheckers-2.0.8

May 20, 2014

modelcheckers-2.0.6

Apr 01, 2014

modelcheckers-2.0.4

Mar 10, 2014

probsolverintegration

modelcheckers-probsolverintegration

Oct 07, 2015

probsolver

modelcheckers-probsolver

Oct 07, 2015

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

<dependency>
    <groupId>org.overturetool.core</groupId>
    <artifactId>modelcheckers</artifactId>
    <version>probsolverintegration</version>
</dependency>