| Thu, 27 Nov 2008 22:04:46 +0000 | Port DIMACS tools from svn -r3516 | file | diff | annotate |
| Thu, 09 Oct 2008 12:01:40 +0100 | Repository reorganization | file | diff | annotate |
| Tue, 22 Apr 2008 22:39:57 +0200 | Makefile cleanup (see ticket #87) | file | diff | annotate |
| Tue, 18 Dec 2007 10:56:09 +0100 | Autotools based build system. | file | diff | annotate |