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 386
Give different names to the different DIMACS readers