Download answerparser JAR file with all dependencies
answerparser from group de.hhu.stups (version 2.9.19)
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!
Artifact answerparser
Group de.hhu.stups
Version 2.9.19
Last update 05. March 2019
Tags: library part prob parser
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!
Group de.hhu.stups
Version 2.9.19
Last update 05. March 2019
Tags: library part prob parser
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 1)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy