Home » de.hhu.stups » answerparser » 2.9.13 » Dependencies

Answerparser » 2.9.13

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 (3)

Category/LicenseGroup / ArtifactVersionUpdates
EPL 1.0
de.hhu.stups » prologlib
Library to construct and manipulate well-formed Prolog terms
2.9.132.16.1
EPL 1.0
de.hhu.stups » prologlib
Library to construct and manipulate well-formed Prolog terms
2.9.132.16.1
EPL 1.0
de.hhu.stups » prologlib
Library to construct and manipulate well-formed Prolog terms
2.9.132.16.1

Test Dependencies (1)

Category/LicenseGroup / ArtifactVersionUpdates
Testing EPL 2.0
junit » junit1 vulnerability
JUnit Jupiter is the API for writing tests using JUnit 5.
4.8.26.1.3