GitHub - TPTPWorld/TPTP4X · GitHub

Name		Name	Last commit message	Last commit date
Test4X		Test4X
.gitignore		.gitignore
AddEquality.c		AddEquality.c
AddEquality.h		AddEquality.h
CompareFormat		CompareFormat
CompareFormat.output		CompareFormat.output
FOFify.c		FOFify.c
FOFify.h		FOFify.h
JJParser		JJParser
Makefile		Makefile
NumberNames.c		NumberNames.c
NumberNames.h		NumberNames.h
README.md		README.md
Randomize.c		Randomize.c
Randomize.h		Randomize.h
tptp4X.c		tptp4X.c
tptp4X.h		tptp4X.h

Repository files navigation

Just run make, but see the README in the JJParser submodule.

About

No description, website, or topics provided.

Custom properties

2 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages