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