Fri, 08 Sep 2017 17:04:30 +0200 Peter Kovacs Fixes in API doc of DIMACS reader methods
Fri, 08 Sep 2017 17:02:03 +0200 Peter Kovacs Bug fix in DIMACS reader (#607)