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!
Version2.12.6compared with
Version Details
| 2.12.5 | 2.12.6 | |
|---|---|---|
| Release date | Jul 10, 2023 | Aug 08, 2023 |
| Licenses | EPL 1.0 | EPL 1.0 |
| Vulnerabilities | None | None |
Compile Changes (2)
| 2.12.5 | 2.12.6 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | de.hhu.stups » prologlib | 2.12.5 | 2.12.6 |
| ~ Updated | de.hhu.stups » sablecc-runtime | 3.5.0 | 3.6.0 |