Mon, 17 Jul 2006 00:37:06 +0200 | webertj | support for MiniSat proof traces added | file | diff | annotate |
Fri, 07 Jul 2006 18:13:58 +0200 | webertj | "solver" reference added to make the SAT solver configurable | file | diff | annotate |
Mon, 03 Jul 2006 17:17:41 +0200 | webertj | CNF tactic invocations moved into comments | file | diff | annotate |
Tue, 02 May 2006 19:23:48 +0200 | webertj | beta_eta_conversion added to pre_cnf_tac | 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 |
Sat, 24 Sep 2005 07:21:46 +0200 | webertj | code reformatted and restructured, many minor modifications | file | diff | annotate |
Fri, 23 Sep 2005 22:58:50 +0200 | webertj | new sat tactic imports resolution proofs from zChaff | file | diff | annotate |