| Wed, 27 May 2009 13:08:47 +0100 | Add tools/CMakeLists.txt to the tarball | file | diff | annotate |
| Mon, 23 Feb 2009 11:49:57 +0000 | DIMACS solver utility (#226) | file | diff | annotate |
| Mon, 23 Feb 2009 11:30:15 +0000 | Port lgf-gen from SVN -r3512 (#45) | file | diff | annotate |
| 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 |