Tue, 19 Sep 2017 15:23:43 +0200 Alpar Juttner Merge bugfix #607
Tue, 19 Sep 2017 15:22:08 +0200 Alpar Juttner Merge bugfix #607 to branch 1.3 1.3
Tue, 19 Sep 2017 15:19:48 +0200 Alpar Juttner Merge bugfix #607 to branch 1.2 1.2
Fri, 08 Sep 2017 17:04:30 +0200 Peter Kovacs Fixes in API doc of DIMACS reader methods