| Sat, 24 Sep 2005 10:47:22 +0200 | obua | bug fix | changeset | files |
| Sat, 24 Sep 2005 07:57:50 +0200 | webertj | replay_proof optimized: now performs backwards proof search | changeset | files |
| Sat, 24 Sep 2005 07:21:46 +0200 | webertj | code reformatted and restructured, many minor modifications | changeset | files |
| Sat, 24 Sep 2005 07:10:57 +0200 | webertj | bugfix in "zchaff_with_proofs" | changeset | files |
| Sat, 24 Sep 2005 02:53:08 +0200 | webertj | parse_std_result_file renamed to read_std_result_file | changeset | files |
| Fri, 23 Sep 2005 23:28:59 +0200 | webertj | new sat tactic | changeset | files |
| Fri, 23 Sep 2005 22:58:50 +0200 | webertj | new sat tactic imports resolution proofs from zChaff | changeset | files |
| Fri, 23 Sep 2005 22:49:25 +0200 | obua | fix | changeset | files |