Download all versions of alloy2b JAR files 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!
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 0
Dependencies No dependencies
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 0
Dependencies No dependencies
There are maybe transitive 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!
alloy2b from group de.hhu.stups (version 1.1)
The Parser for our translation from Alloy to B returning a Prolog Term.
Artifact alloy2b
Group de.hhu.stups
Version 1.1
Last update 06. January 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 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 1.1
Last update 06. January 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 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!
alloy2b from group de.hhu.stups (version 1.1-BETA)
The Parser for our translation from Alloy to B returning a Prolog Term.
Artifact alloy2b
Group de.hhu.stups
Version 1.1-BETA
Last update 10. 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.1-BETA
Last update 10. 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!
alloy2b from group de.hhu.stups (version 1.08-BETA)
The Parser for our translation from Alloy to B returning a Prolog Term.
Artifact alloy2b
Group de.hhu.stups
Version 1.08-BETA
Last update 09. 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.08-BETA
Last update 09. 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!
alloy2b from group de.hhu.stups (version 1.07-BETA)
The Parser for our translation from Alloy to B returning a Prolog Term.
Artifact alloy2b
Group de.hhu.stups
Version 1.07-BETA
Last update 09. 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.07-BETA
Last update 09. 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!
alloy2b from group de.hhu.stups (version 1.06-BETA)
The Parser for our translation from Alloy to B returning a Prolog Term.
Artifact alloy2b
Group de.hhu.stups
Version 1.06-BETA
Last update 09. 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.06-BETA
Last update 09. 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!
alloy2b from group de.hhu.stups (version 1.05-BETA)
The Parser for our translation from Alloy to B returning a Prolog Term.
Artifact alloy2b
Group de.hhu.stups
Version 1.05-BETA
Last update 09. 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.05-BETA
Last update 09. 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!
alloy2b from group de.hhu.stups (version 1.03-BETA)
The Parser for our translation from Alloy to B returning a Prolog Term.
Artifact alloy2b
Group de.hhu.stups
Version 1.03-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.03-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 2 (items total 13)