alloy2b 1.08-BETA

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

License	Eclipse Public License, Version 1.0
GroupId	de.hhu.stups
ArtifactId	alloy2b
Version	1.08-BETA
Type	zip
Description	alloy2b The Parser for our translation from Alloy to B returning a Prolog Term.
Project URL	https://github.com/hhu-stups/alloy2b
Source Code Management	https://github.com/hhu-stups/alloy2b

Download alloy2b 1.08-BETA

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

Dependencies

compile (1)

Group / Artifact	Type	Version
org.jetbrains.kotlin : kotlin-stdlib-jdk8	jar	1.3.21

test (1)

Group / Artifact	Type	Version
junit : junit	jar	4.12

Project Modules

There are no modules declared in this project.