Fri, 28 Nov 2008 06:38:20 +0000Refactoring of DIMACS tools
Alpar Juttner <alpar@cs.elte.hu> [Fri, 28 Nov 2008 06:38:20 +0000] rev 402
Refactoring of DIMACS tools

Thu, 27 Nov 2008 22:05:35 +0000Give different names to the different DIMACS readers
Alpar Juttner <alpar@cs.elte.hu> [Thu, 27 Nov 2008 22:05:35 +0000] rev 401
Give different names to the different DIMACS readers