Download alloy2b JAR file with all dependencies
alloy2b from group de.hhu.stups (version 1.01-BETA)
The Parser for our translation from Alloy to B returning a Prolog Term.
Artifact alloy2b
Group de.hhu.stups
Version 1.01-BETA
Last update 08. February 2019
Tags: returning prolog translation term alloy from parser
Organization not specified
URL https://github.com/hhu-stups/alloy2b
License Eclipse Public License, Version 1.0
Dependencies amount 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 1.01-BETA
Last update 08. February 2019
Tags: returning prolog translation term alloy from parser
Organization not specified
URL https://github.com/hhu-stups/alloy2b
License Eclipse Public License, Version 1.0
Dependencies amount 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)