scala-tptp-parser · 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.

Table Of Contents

• Latest Version
• All Versions
• View Java Class Source Code in JAR file

Latest Version

Download io.github.leoprover : scala-tptp-parser_2.13 JAR file - Latest Versions:

• Latest Stable: 1.7.1.jar

All Versions

Download io.github.leoprover : scala-tptp-parser_2.13 JAR file - All Versions:

Version		Vulnerabilities	Size	Updated
1.7.x	scala-tptp-parser_2.13-1.7.1.jar		503.40 KB	Mar 25, 2023
	scala-tptp-parser_2.13-1.7.0.jar		503.70 KB	Mar 16, 2023
1.6.x	scala-tptp-parser_2.13-1.6.5.jar		501.70 KB	Feb 03, 2023
	scala-tptp-parser_2.13-1.6.4.jar		509.07 KB	Jul 19, 2022
	scala-tptp-parser_2.13-1.6.3.jar		509.06 KB	Jul 17, 2022
	scala-tptp-parser_2.13-1.6.2.jar		509.01 KB	Apr 27, 2022
	scala-tptp-parser_2.13-1.6.1.jar		509.12 KB	Apr 25, 2022
1.6	scala-tptp-parser_2.13-1.6.jar		509.05 KB	Feb 16, 2022
1.5	scala-tptp-parser_2.13-1.5.jar		499.52 KB	Feb 06, 2022
1.4	scala-tptp-parser_2.13-1.4.jar		483.63 KB	Oct 19, 2021
1.3	scala-tptp-parser_2.13-1.3.jar		406.58 KB	Apr 08, 2021

View Java Class Source Code in JAR file

1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window scala-tptp-parser_2.13-1.7.1.jar file.
   Once you open a JAR file, all the java classes in the JAR file will be displayed.

leo.datastructures

├─ leo.datastructures.TPTP.class - [JAR]

leo.modules.input

├─ leo.modules.input.TPTPParser.class - [JAR]