Last Version 2.9.32 →

typechecker 2.9.28

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

Download typechecker 2.9.28

Filename	Size
typechecker-2.9.28.pom
typechecker-2.9.28-sources.jar	36 KB
typechecker-2.9.28-javadoc.jar	158 KB
Browse

Dependencies

compile (3)

Group / Artifact	Type	Version
de.hhu.stups : prologlib	jar	2.9.28
de.hhu.stups : bparser	jar	2.9.28
de.hhu.stups : ltlparser	jar	2.9.28

Project Modules