Overture VDM animator

A programmatic wrapper enabling in-process animation of VDM specifications

License

License

GroupId

GroupId

com.anaplan.engineering
ArtifactId

ArtifactId

vdm-animation-overture
Last Version

Last Version

0.3.7
Release Date

Release Date

Type

Type

pom.sha512
Description

Description

Overture VDM animator
A programmatic wrapper enabling in-process animation of VDM specifications
Project URL

Project URL

https://github.com/anaplan-engineering/azuki
Source Code Management

Source Code Management

https://github.com/anaplan-engineering/azuki

Download vdm-animation-overture

Dependencies

compile (1)

Group / Artifact Type Version
com.anaplan.engineering : vdm-animation-api jar 0.3.7

runtime (5)

Group / Artifact Type Version
org.jetbrains.kotlin : kotlin-stdlib-jdk8 jar 1.5.31
org.jetbrains.kotlin : kotlin-reflect jar 1.5.31
org.overturetool.core : interpreter jar 3.0.2
org.overturetool.core.annotations : provided jar 3.0.2
org.slf4j : slf4j-api jar 1.7.36

Project Modules

There are no modules declared in this project.

Versions

Version
0.3.7
0.3.5
0.3.4
0.3.3
0.3.2
0.3.1
0.3.0
0.2.2
0.2.1
0.2.0