META-INF.MANIFEST.MF Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of alloy2b Show documentation
Show all versions of alloy2b Show documentation
The Parser for our translation from Alloy to B returning a Prolog Term.
The newest version!
Manifest-Version: 1.0
version: 1.08-BETA
Main-Class: de.hhu.stups.alloy2b.Alloy2BKt
© 2015 - 2025 Weber Informatics LLC | Privacy Policy