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!
Compile Dependencies (2)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Code Analyzer
LGPL 2.1
|  | com.google.code.findbugs
»
jsr305 Annotations the SpotBugs tool supports | 1.3.9 | 4.10.4 |
EPL 1.0
| | de.hhu.stups
»
prologlib Library to construct and manipulate well-formed Prolog terms | 2.9.2 | 2.16.1 |
