License |
License |
---|---|
GroupId | GroupIdde.hhu.stups |
ArtifactId | ArtifactIdtypechecker |
Last Version | Last Version2.9.32 |
Release Date | Release Date |
Type | Typepom.sha512 |
Description |
Descriptiontypechecker
Part of the ProB Parser library
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
typechecker-2.9.32.pom | |
typechecker-2.9.32-sources.jar | 30 KB |
typechecker-2.9.32-javadoc.jar | 140 KB |
Browse |
Group / Artifact | Type | Version |
---|---|---|
de.hhu.stups : prologlib | jar | 2.9.32 |
de.hhu.stups : bparser | jar | 2.9.32 |
de.hhu.stups : ltlparser | jar | 2.9.32 |