| Fri, 24 May 2013 11:08:25 +0200 | blanchet | pass noninteractive flag -- necessary to run under CASC's "runsolver" program | file | diff | annotate |
| Tue, 21 May 2013 09:02:58 +0200 | blanchet | use HOL-TPTP image in TPTP tools (for less verbose and faster startup) and filter out some messages | file | diff | annotate |
| Fri, 27 Apr 2012 15:24:37 +0200 | blanchet | thread theory cleanly and use "smt" method rather than Sledgehammer for Z3 (because of obscure debilitating bug) | file | diff | annotate |
| Sun, 22 Apr 2012 14:16:46 +0200 | blanchet | added timeout argument to TPTP tools | file | diff | annotate |
| Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | added problem importer | file | diff | annotate |
| Mon, 23 Jan 2012 17:40:31 +0100 | blanchet | rebranded Nitrox, for more uniformity | file | diff | annotate |