Alpar Juttner <alpar@cs.elte.hu> [Thu, 27 Nov 2008 22:05:35 +0000] rev 401
Give different names to the different DIMACS readers
Alpar Juttner <alpar@cs.elte.hu> [Thu, 27 Nov 2008 22:04:46 +0000] rev 400
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 399
Merge