Fri, 08 Sep 2017 17:04:30 +0200Fixes in API doc of DIMACS reader methods
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 08 Sep 2017 17:04:30 +0200] rev 1157
Fixes in API doc of DIMACS reader methods