jar

de.hhu.stups : alloy2b

Maven & Gradle

Aug 11, 2023

1 usages

2 stars

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

Homepage Readme Maven Central

Table Of Contents

Latest Version
All Versions
View Java Class Source Code in JAR file

Latest Version

Download de.hhu.stups : alloy2b JAR file - Latest Versions:

Latest Stable: 1.4.jar
Latest Beta: 1.1-BETA.jar

All Versions

Download de.hhu.stups : alloy2b JAR file - All Versions:

Version	Vulnerabilities	Size	Updated
1.08	alloy2b-1.08-BETA.jar		14.02 MB	Feb 09, 2019
1.07	alloy2b-1.07-BETA.jar		11.41 MB	Feb 09, 2019
1.06	alloy2b-1.06-BETA.jar		11.41 MB	Feb 09, 2019
1.05	alloy2b-1.05-BETA.jar		11.41 MB	Feb 09, 2019
1.4	alloy2b-1.4.jar		55.27 KB	Aug 11, 2023
1.3	alloy2b-1.3.jar		55.36 KB	Apr 28, 2023
1.03	alloy2b-1.03-BETA.jar		13.95 MB	Feb 08, 2019
1.2	alloy2b-1.2.jar		2.56 MB	Mar 10, 2020
1.02	alloy2b-1.02-BETA.jar		13.95 MB	Feb 08, 2019
1.1	alloy2b-1.1.jar		14.34 MB	Jan 06, 2020
alloy2b-1.1-BETA.jar		14.08 MB	Feb 10, 2019
1.01	alloy2b-1.01-BETA.jar		13.95 MB	Feb 08, 2019
1.0	alloy2b-1.0-BETA.jar		13.70 MB	Nov 24, 2018

Version

Vulnerabilities

Size

Updated

1.08

alloy2b-1.08-BETA.jar

14.02 MB

Feb 09, 2019

1.07

alloy2b-1.07-BETA.jar

11.41 MB

Feb 09, 2019

1.06

alloy2b-1.06-BETA.jar

11.41 MB

Feb 09, 2019

1.05

alloy2b-1.05-BETA.jar

11.41 MB

Feb 09, 2019

1.4

alloy2b-1.4.jar

55.27 KB

Aug 11, 2023

1.3

alloy2b-1.3.jar

55.36 KB

Apr 28, 2023

1.03

alloy2b-1.03-BETA.jar

13.95 MB

Feb 08, 2019

1.2

alloy2b-1.2.jar

2.56 MB

Mar 10, 2020

1.02

alloy2b-1.02-BETA.jar

13.95 MB

Feb 08, 2019

1.1

alloy2b-1.1.jar

14.34 MB

Jan 06, 2020

alloy2b-1.1-BETA.jar

14.08 MB

Feb 10, 2019

1.01

alloy2b-1.01-BETA.jar

13.95 MB

Feb 08, 2019

1.0

alloy2b-1.0-BETA.jar

13.70 MB

Nov 24, 2018

View Java Class Source Code in JAR file

Download JD-GUI to open JAR file and explore Java source code file (.class .java)
Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window alloy2b-1.4.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.

de.hhu.stups.alloy2b.translation

├─ de.hhu.stups.alloy2b.translation.Alloy2BParser.class - [JAR]

├─ de.hhu.stups.alloy2b.translation.Alloy2BParserErr.class - [JAR]

├─ de.hhu.stups.alloy2b.translation.Alloy2BParserInternal.class - [JAR]

├─ de.hhu.stups.alloy2b.translation.ExpressionToProlog.class - [JAR]

├─ de.hhu.stups.alloy2b.translation.Operator.class - [JAR]

├─ de.hhu.stups.alloy2b.translation.ParserResult.class - [JAR]

├─ de.hhu.stups.alloy2b.translation.ParserUtilKt.class - [JAR]

de.hhu.stups.alloy2b

├─ de.hhu.stups.alloy2b.Alloy2BKt.class - [JAR]

Dependencies from Group

prologlib