scala-tptp-parser_3

io.github.leoprover

scala-tptp-parser_3 is a Java jar artifact published under the io.github.leoprover group on Maven Central. 1 version is indexed here. Select a version below for Maven, Gradle and SBT snippets plus CVE data.

Recommended: 1.7.5 1 versions jarChecking...
Analyze DependenciesCompare Artifact

Add to your project1.7.5

<dependency>
    <groupId>io.github.leoprover</groupId>
    <artifactId>scala-tptp-parser_3</artifactId>
    <version>1.7.5</version>
</dependency>

Version Details — 1.7.5

Packaging
jar
Direct Deps
0
Total Deps
0
Published
Unknown
License
MIT

scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the parser for the different language of the TPTP, see http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.

Checking security advisories...