| Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Sun, 09 Oct 2005 17:06:03 +0200 | webertj | Tactics sat and satx reimplemented, several improvements | file | diff | annotate |
| Thu, 29 Sep 2005 15:50:45 +0200 | wenzelm | explicit dependencies of SAT vs. Refute; | file | diff | annotate |