de.hhu.stups:alloy2b 1.1

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

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

Download alloy2b 1.1

Filename	Size
alloy2b-1.1.pom
alloy2b-1.1.zip	27 MB
alloy2b-1.1-sources.jar	9 KB
alloy2b-1.1-javadoc.jar	261 bytes