| Tue, 24 Apr 2012 09:47:40 +0200 |
blanchet |
smoother handling of conjecture, so that its Skolem constants get displayed in countermodels
|
file |
diff |
annotate
|
| Tue, 24 Apr 2012 09:47:40 +0200 |
blanchet |
handle TPTP definitions as definitions in Nitpick rather than as axioms
|
file |
diff |
annotate
|
| Tue, 24 Apr 2012 09:47:40 +0200 |
blanchet |
get rid of old parser, hopefully for good
|
file |
diff |
annotate
|
| Sun, 22 Apr 2012 14:16:46 +0200 |
blanchet |
added timeout argument to TPTP tools
|
file |
diff |
annotate
|
| Sat, 21 Apr 2012 11:15:49 +0200 |
blanchet |
prepend PWD to relative paths
|
file |
diff |
annotate
|
| Sat, 21 Apr 2012 11:15:49 +0200 |
blanchet |
reintroduced old FOF and CNF parsers, to work around TPTP_Parser failures
|
file |
diff |
annotate
|
| Wed, 18 Apr 2012 23:13:11 +0200 |
blanchet |
remove old TPTP CNF/FOF parser; always use Nik's new parser
|
file |
diff |
annotate
|
| Wed, 18 Apr 2012 22:40:25 +0200 |
blanchet |
tuned SZS status output
|
file |
diff |
annotate
|
| Wed, 18 Apr 2012 22:16:05 +0200 |
blanchet |
started integrating Nik's parser into TPTP command-line tools
|
file |
diff |
annotate
|
| Mon, 23 Jan 2012 17:40:32 +0100 |
blanchet |
implemented "tptp_refute" tool
|
file |
diff |
annotate
|
| Mon, 23 Jan 2012 17:40:32 +0100 |
blanchet |
added problem importer
|
file |
diff |
annotate
|