Download answerparser JAR file with all dependencies
answerparser from group de.hhu.stups (version 2.12.6)
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.12.6
Last update 08. August 2023
Tags: prob library parser part
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.12.6
Last update 08. August 2023
Tags: prob library parser part
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 - 2024 Weber Informatics LLC | Privacy Policy