theorymapping 2.9.32

Part of the ProB Parser library

License	Eclipse Public License, Version 1.0
GroupId	de.hhu.stups
ArtifactId	theorymapping
Version	2.9.32
Type	pom.sha512
Description	theorymapping Part of the ProB Parser library
Project URL	https://github.com/bendisposto/probparsers
Source Code Management	https://gitlab.cs.uni-duesseldorf.de/stups/prob/probparsers

Download theorymapping 2.9.32

Filename	Size
theorymapping-2.9.32.pom
theorymapping-2.9.32-sources.jar	26 KB
theorymapping-2.9.32-javadoc.jar	134 KB

Dependencies

compile (1)

Group / Artifact	Type	Version
de.hhu.stups : sablecc-runtime	jar	3.3.2

Project Modules

There are no modules declared in this project.