Peter Kovacs <kpeter@inf.elte.hu> [Fri, 08 Sep 2017 17:02:03 +0200] rev 1005
Bug fix in DIMACS reader (#607)
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Oct 2015 18:56:56 +0200] rev 1004
Merge bugfix #600 to branch 1.2
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Oct 2015 18:54:57 +0200] rev 1003
Merge bugfix #480 to branch 1.2