de.hhu.stups:alloy2b 1.2

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

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

Download alloy2b 1.2

Filename	Size
alloy2b-1.2.pom
alloy2b-1.2.zip	4 MB
alloy2b-1.2-sources.jar	9 KB
alloy2b-1.2-javadoc.jar	261 bytes