Download typechecker JAR file with all dependencies
typechecker from group de.hhu.stups (version 2.9.27)
Part of the ProB Parser library
Artifact typechecker
Group de.hhu.stups
Version 2.9.27
Last update 25. November 2020
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.27
Last update 25. November 2020
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!
Page 1 from 1 (items total 1)