JarCastingalloy2b
The Parser for our translation from Alloy to B returning a Prolog Term.
| License |
License |
|---|---|
| GroupId | GroupIdde.hhu.stups |
| ArtifactId | ArtifactIdalloy2b |
| Last Version | Last Version1.08-BETA |
| Release Date | Release Date |
| Type | Typezip |
| Description |
Descriptionalloy2b
The Parser for our translation from Alloy to B returning a Prolog Term.
|
| Project URL |
Project URL |
| Source Code Management |
Source Code Management |
Download alloy2b
| Filename | Size |
|---|---|
| alloy2b-1.08-BETA.pom | |
| alloy2b-1.08-BETA.zip | 27 MB |
| alloy2b-1.08-BETA-sources.jar | 9 KB |
| alloy2b-1.08-BETA-javadoc.jar | 261 bytes |
| Browse |
Dependencies
compile (1)
| Group / Artifact | Type | Version |
|---|---|---|
| org.jetbrains.kotlin : kotlin-stdlib-jdk8 | jar | 1.3.21 |
test (1)
| Group / Artifact | Type | Version |
|---|---|---|
| junit : junit | jar | 4.12 |
Project Modules
There are no modules declared in this project.
