Fri, 08 Sep 2017 17:02:03 +0200Bug fix in DIMACS reader (#607)
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 08 Sep 2017 17:02:03 +0200] rev 1372
Bug fix in DIMACS reader (#607)