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