Download JAR files tagged by probcli with all dependencies

cliparser from group de.hhu.stups (version 2.13.5)

Part of the ProB Parser library

Group: de.hhu.stups Artifact: cliparser
Show all versions Show documentation Show source

0 downloads

Artifact cliparser
Group de.hhu.stups
Version 2.13.5
Last update 08. November 2024
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

answerparser from group de.hhu.stups (version 2.13.5)

Parser for a subset of Prolog term syntax, used to read answers from the ProB Prolog core (probcli) in socket-server mode. For internal use only by the ProB Java API and the ProB plugin for Rodin!

Group: de.hhu.stups Artifact: answerparser
Show all versions Show documentation Show source

0 downloads

Artifact answerparser
Group de.hhu.stups
Version 2.13.5
Last update 08. November 2024
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 2
Dependencies sablecc-runtime, prologlib,
There are maybe transitive dependencies!

Page 1 from 1 (items total 2)