GitHub - lukaszcz/tptp2ileancop: Run ileancop on the ILTP library

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.gitignore		.gitignore
Makefile.ileancop		Makefile.ileancop
README		README
count_rating.sh		count_rating.sh
count_time.sh		count_time.sh
fix_ileancop.sh		fix_ileancop.sh
list_successes.sh		list_successes.sh
run.sh		run.sh
tptp2ileancop.sh		tptp2ileancop.sh

Repository files navigation

This is a collection of bash scripts to convert the ILTP library into
the format accepted by ileancop 1.2, to run ileancop on the translated
problems and collect statistics. The scripts use the tptp2X program
that comes with the library.

You need to download the ILTP library v1.1.2 from: www.iltp.de. Unpack
it into the ILTP subdirectory. Then the ILTP/TPTP2X directory contains
the conversion program. This program requires Eclipse Prolog 5.0 (old
version; doesn't work with new versions). To make it work you may also
need to outcomment some formats in the ILTP/TPTP2X/tptp2X.main file.