License |
License |
---|---|
GroupId | GroupIdde.hhu.stups |
ArtifactId | ArtifactIdprologlib |
Last Version | Last Version2.12.0 |
Release Date | Release Date |
Type | Typepom.sha512 |
Description |
Descriptionprologlib
Part of the ProB Parser library
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
prologlib-2.12.0.pom | |
prologlib-2.12.0-sources.jar | 16 KB |
prologlib-2.12.0-javadoc.jar | 84 KB |
Browse |