Download alloy2b JAR file with all dependencies
alloy2b from group de.hhu.stups (version 1.2)
The Parser for our translation from Alloy to B returning a Prolog Term.
Artifact alloy2b
Group de.hhu.stups
Version 1.2
Last update 10. March 2020
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 2
Dependencies kotlin-stdlib-jdk8, alloy-core,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 1.2
Last update 10. March 2020
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 2
Dependencies kotlin-stdlib-jdk8, alloy-core,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)