Wed, 18 Apr 2012 23:13:11 +0200 | remove old TPTP CNF/FOF parser; always use Nik's new parser | file | diff | annotate |
Wed, 18 Apr 2012 22:40:25 +0200 | tuned SZS status output | file | diff | annotate |
Wed, 18 Apr 2012 22:16:05 +0200 | started integrating Nik's parser into TPTP command-line tools | file | diff | annotate |
Mon, 23 Jan 2012 17:40:32 +0100 | implemented "tptp_refute" tool | file | diff | annotate |
Mon, 23 Jan 2012 17:40:32 +0100 | added problem importer | file | diff | annotate |