Last Version

alloy2b 1.08-BETA

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

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