JarCasting
JarCasting JarCasting

KeyMG API

KeyMG API contains the api to use on the model

License

License
Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

org.keymg
ArtifactId

ArtifactId

keymg
Last Version

Last Version

1.0.CR1
Release Date

Release Date
Type

Type

war
Description

Description

KeyMG API
KeyMG API contains the api to use on the model

Download keymg

Filename Size
keymg-1.0.CR1.pom
keymg-1.0.CR1.war 2 KB
Browse

How to add to project

<!-- https://jarcasting.com/artifacts/org.keymg/keymg/ -->
<dependency>
    <groupId>org.keymg</groupId>
    <artifactId>keymg</artifactId>
    <version>1.0.CR1</version>
    <type>war</type>
</dependency>
// https://jarcasting.com/artifacts/org.keymg/keymg/
implementation 'org.keymg:keymg:1.0.CR1'
// https://jarcasting.com/artifacts/org.keymg/keymg/
implementation ("org.keymg:keymg:1.0.CR1")
'org.keymg:keymg:war:1.0.CR1'
<dependency org="org.keymg" name="keymg" rev="1.0.CR1">
  <artifact name="keymg" type="war" />
</dependency>
@Grapes(
@Grab(group='org.keymg', module='keymg', version='1.0.CR1')
)
libraryDependencies += "org.keymg" % "keymg" % "1.0.CR1"
[org.keymg/keymg "1.0.CR1"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

Versions

Version
1.0.CR1