| 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 |
| Fri, 10 Mar 2006 16:31:50 +0100 | webertj | clauses now use (meta-)hyps instead of (meta-)implications; significant speedup | file | diff | annotate |
| Sun, 09 Oct 2005 17:06:03 +0200 | webertj | Tactics sat and satx reimplemented, several improvements | file | diff | annotate |
| Fri, 23 Sep 2005 22:58:50 +0200 | webertj | new sat tactic imports resolution proofs from zChaff | file | diff | annotate |