Fri, 08 Sep 2017 17:04:30 +0200 | Peter Kovacs | Fixes in API doc of DIMACS reader methods | changeset | files |
Fri, 08 Sep 2017 17:02:03 +0200 | Peter Kovacs | Bug fix in DIMACS reader (#607) | changeset | files |
Thu, 08 Oct 2015 10:03:29 +0200 | Alpar Juttner | Merge bugfix #600 to branch 1.3 | changeset | files |