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 |