Alpar Juttner <alpar@cs.elte.hu> [Tue, 19 Sep 2017 15:22:08 +0200] rev 1375
Merge bugfix #607 to branch 1.3
Alpar Juttner <alpar@cs.elte.hu> [Tue, 19 Sep 2017 15:19:48 +0200] rev 1374
Merge bugfix #607 to branch 1.2
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 08 Sep 2017 17:04:30 +0200] rev 1373
Fixes in API doc of DIMACS reader methods
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 08 Sep 2017 17:02:03 +0200] rev 1372
Bug fix in DIMACS reader (#607)