| Wed, 12 Oct 2005 18:17:48 +0200 | webertj | counter added to SAT signature | file | diff | annotate |
| Wed, 12 Oct 2005 17:06:22 +0200 | webertj | no proof reconstruction when quick_and_dirty is set | file | diff | annotate |
| Sun, 09 Oct 2005 17:06:03 +0200 | webertj | Tactics sat and satx reimplemented, several improvements | file | diff | annotate |
| Wed, 28 Sep 2005 14:41:43 +0200 | webertj | pre_sat_tac moved towards end of file | file | diff | annotate |
| Wed, 28 Sep 2005 14:16:12 +0200 | webertj | comment fixed | file | diff | annotate |
| Sat, 24 Sep 2005 07:57:50 +0200 | webertj | replay_proof optimized: now performs backwards proof search | 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 |