Overture VDM animator 0.3.7

A programmatic wrapper enabling in-process animation of VDM specifications

License	MIT License
GroupId	com.anaplan.engineering
ArtifactId	vdm-animation-overture
Version	0.3.7
Type	pom.sha512
Description	Overture VDM animator A programmatic wrapper enabling in-process animation of VDM specifications
Project URL	https://github.com/anaplan-engineering/azuki
Source Code Management	https://github.com/anaplan-engineering/azuki

Download vdm-animation-overture 0.3.7

Filename	Size
vdm-animation-overture-0.3.7.pom
vdm-animation-overture-0.3.7-sources.jar	3 KB
vdm-animation-overture-0.3.7-javadoc.jar	261 bytes

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.