Alpar Juttner <alpar@cs.elte.hu> [Fri, 28 Nov 2008 06:38:20 +0000] rev 387
 
Refactoring of DIMACS tools
Alpar Juttner <alpar@cs.elte.hu> [Thu, 27 Nov 2008 22:05:35 +0000] rev 386
 
Give different names to the different DIMACS readers
Alpar Juttner <alpar@cs.elte.hu> [Thu, 27 Nov 2008 22:04:46 +0000] rev 385
 
Port DIMACS tools from svn -r3516
Namely,
 - apply migrate script
 - apply unify sources
 - break long lines
 - Fixes the compilation
 - dim_to_lgf -> dimacs-to-lgf
 - better .hgignore
 - shorten the doc of dimacs-to-lgf
Alpar Juttner <alpar@cs.elte.hu> [Fri, 21 Nov 2008 10:49:39 +0000] rev 384
 
Merge