Library for uniform access to the formal language parsers (used by ltlparser)

Compile Dependencies (1)

Category/LicenseGroup / ArtifactVersionUpdates
EPL 1.0
de.hhu.stups » prologlib
Library to construct and manipulate well-formed Prolog terms
2.9.212.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