| Fri, 06 Jul 2007 17:21:18 +0200 | webertj | cosmetic (line length fixed) | file | diff | annotate |
| Wed, 10 Jan 2007 19:18:29 +0100 | webertj | minor comment change | file | diff | annotate |
| Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Sun, 19 Nov 2006 13:02:55 +0100 | webertj | profiling disabled | file | diff | annotate |
| Wed, 30 Aug 2006 16:27:53 +0200 | webertj | faster clause representation (again): full CNF formula as a hypothesis, instead of separate clauses | file | diff | annotate |
| Wed, 02 Aug 2006 00:57:41 +0200 | webertj | proof reconstruction now uses its own data structure to manage hyps; should be both faster and more robust | file | diff | annotate |
| Tue, 01 Aug 2006 15:28:55 +0200 | webertj | comment (timing information for last example) added | file | diff | annotate |