Fri, 08 Sep 2017 17:02:03 +0200 Peter Kovacs Bug fix in DIMACS reader (#607)
Thu, 08 Oct 2015 10:03:29 +0200 Alpar Juttner Merge bugfix #600 to branch 1.3 1.3