All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download answerparser JAR file with all 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 
Download answerparser.jar (2.13.5)
 

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 1)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy