| Fri, 28 Nov 2008 11:26:51 +0100 | Peter Kovacs | Doc improvements for the DIMACS tools (#167) | changeset | files |
| Fri, 28 Nov 2008 06:38:20 +0000 | Alpar Juttner | Refactoring of DIMACS tools | changeset | files |
| Thu, 27 Nov 2008 22:05:35 +0000 | Alpar Juttner | Give different names to the different DIMACS readers | changeset | files |