Name		Name	Last commit message	Last commit date
ArchivedCode		ArchivedCode
TestFiles		TestFiles
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
Compare.c		Compare.c
Compare.h		Compare.h
DataTypes.h		DataTypes.h
Examine.c		Examine.c
Examine.h		Examine.h
FileUtilities.c		FileUtilities.c
FileUtilities.h		FileUtilities.h
Interpret.c		Interpret.c
Interpret.h		Interpret.h
LICENSE		LICENSE
List.c		List.c
List.h		List.h
ListSignature.c		ListSignature.c
ListStatistics.c		ListStatistics.c
ListStatistics.h		ListStatistics.h
Makefile		Makefile
Modify.c		Modify.c
Modify.h		Modify.h
ParseTPTP.c		ParseTPTP.c
ParseTPTP.h		ParseTPTP.h
ParseTSTP.c		ParseTSTP.c
ParseTSTP.h		ParseTSTP.h
Parsing.c		Parsing.c
Parsing.h		Parsing.h
PrintDFG.c		PrintDFG.c
PrintDFG.h		PrintDFG.h
PrintDK.c		PrintDK.c
PrintDK.h		PrintDK.h
PrintKIF.c		PrintKIF.c
PrintKIF.h		PrintKIF.h
PrintLP.c		PrintLP.c
PrintLP.h		PrintLP.h
PrintOtter.c		PrintOtter.c
PrintOtter.h		PrintOtter.h
PrintSMT2.c		PrintSMT2.c
PrintSMT2.h		PrintSMT2.h
PrintSUMO.c		PrintSUMO.c
PrintSUMO.h		PrintSUMO.h
PrintTSTP.c		PrintTSTP.c
PrintTSTP.h		PrintTSTP.h
PrintXML.c		PrintXML.c
PrintXML.h		PrintXML.h
README.md		README.md
Signature.c		Signature.c
Signature.h		Signature.h
Statistics.c		Statistics.c
Statistics.h		Statistics.h
SystemOnTPTP.c		SystemOnTPTP.c
SystemOnTPTP.h		SystemOnTPTP.h
TestParsing.c		TestParsing.c
TestTree.c		TestTree.c
Tokenizer.c		Tokenizer.c
Tokenizer.h		Tokenizer.h
Tree.c		Tree.c
Tree.h		Tree.h
TreeStatistics.c		TreeStatistics.c
TreeStatistics.h		TreeStatistics.h
Utilities.c		Utilities.c
Utilities.h		Utilities.h

Repository files navigation

JJParser

To build, just run make, but ... It might be necessary to install curl for make to succeed:

On Ubuntu: sudo apt update and sudo apt install curl libcurl4-openssl-dev
On Fedora: sudo dnf install curl curlpp curlpp-devel

About

No description, website, or topics provided.

GPL-3.0 license

Custom properties

0 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages