Download typechecker JAR 2.9.28 with all dependencies
Part of the ProB Parser library
Files of the artifact typechecker version 2.9.28 from the group de.hhu.stups.
Artifact typechecker
Group de.hhu.stups
Version 2.9.28
Last update 13. August 2021
Tags: library part prob parser
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies prologlib, bparser, ltlparser,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 2.9.28
Last update 13. August 2021
Tags: library part prob parser
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies prologlib, bparser, ltlparser,
There are maybe transitive dependencies!
There is a newer version: 2.9.32
Show newest versionShow all versions of typechecker Show documentation
Please rate this JAR file. Is it a good library?
1 downloads
Source code of typechecker version 2.9.28
Please wait ...