| Fri, 22 Jul 2005 13:19:06 +0200 | paulson | streamlined the tptp output | changeset | files |
| Fri, 22 Jul 2005 13:18:54 +0200 | paulson | removed unused code | changeset | files |
| Fri, 22 Jul 2005 11:55:11 +0200 | berghofe | Tuned comment. | changeset | files |
| Fri, 22 Jul 2005 11:54:29 +0200 | berghofe | Rewrote function remove_suc, since it failed on some equations | changeset | files |
| Thu, 21 Jul 2005 18:52:17 +0200 | webertj | write_dimacs_sat_file now generates slightly smaller files | changeset | files |
| Wed, 20 Jul 2005 17:01:20 +0200 | paulson | revised examples | changeset | files |
| Wed, 20 Jul 2005 17:00:28 +0200 | paulson | code streamlining | changeset | files |
| Wed, 20 Jul 2005 15:57:10 +0200 | aspinall | Ressurect seq attribute accidently removed | changeset | files |