All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download alloy2b JAR file with all dependencies

Search JAR files by class name

alloy2b from group de.hhu.stups (version 1.03-BETA)

The Parser for our translation from Alloy to B returning a Prolog Term.

Group: de.hhu.stups Artifact: alloy2b
Show documentation Show source 
 

0 downloads
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!



Page 1 from 1 (items total 1)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy