Fri, 09 Mar 2012 15:38:55 +0000 | sultana | added tptp parser; | file | diff | annotate |
Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | added problem importer | file | diff | annotate |
Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | renamed theory exporter | file | diff | annotate |
Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | cleanly separate TPTP related files from other examples | file | diff | annotate |