| Sun, 09 Oct 2005 17:06:03 +0200 | webertj | Tactics sat and satx reimplemented, several improvements | file | diff | annotate |
| Tue, 26 Jul 2005 14:14:13 +0200 | webertj | comment modified | file | diff | annotate |
| Mon, 25 Jul 2005 21:40:43 +0200 | webertj | defcnf renamed to auxcnf, new defcnf algorithm added, simplify added | file | diff | annotate |
| Mon, 25 Jul 2005 15:51:30 +0200 | webertj | defcnf modified to internally use a reference | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Wed, 23 Feb 2005 15:00:03 +0100 | webertj | exception SAME removed | file | diff | annotate |
| Fri, 19 Nov 2004 17:52:07 +0100 | webertj | comment modified | file | diff | annotate |
| Thu, 17 Jun 2004 21:58:51 +0200 | webertj | improved defcnf conversion | file | diff | annotate |
| Sun, 13 Jun 2004 17:57:35 +0200 | webertj | faster defcnf conversion | file | diff | annotate |
| Mon, 17 May 2004 14:05:06 +0200 | webertj | Comments fixed | file | diff | annotate |
| Wed, 28 Apr 2004 10:45:35 +0200 | webertj | comments modified | file | diff | annotate |
| Wed, 10 Mar 2004 20:27:56 +0100 | webertj | Formulas of propositional logic | file | diff | annotate |