is not current version

Last Version 1.08-BETA →

de.hhu.stups:alloy2b 1.1-BETA

The Parser for our translation from Alloy to B returning a Prolog Term.

GroupId	GroupId de.hhu.stups
ArtifactId	ArtifactId alloy2b
Version	Version 1.1-BETA
Type	Type zip

Download alloy2b 1.1-BETA

Filename	Size
alloy2b-1.1-BETA.pom
alloy2b-1.1-BETA.zip	27 MB
alloy2b-1.1-BETA-sources.jar	7 KB
alloy2b-1.1-BETA-javadoc.jar	261 bytes
alloy2b-1.1-BETA-all.jar	14 MB
Browse