Last Version

alloy2b 1.08-BETA

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

License

License

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

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.