Overture VDM animator 0.3.2

A programmatic wrapper enabling in-process animation of VDM specifications

License	MIT License
GroupId	com.anaplan.engineering
ArtifactId	vdm-animation-overture
Version	0.3.2
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.2

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

Dependencies

compile (1)

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

runtime (4)

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

Project Modules

There are no modules declared in this project.