Fri, 08 Sep 2017 17:02:03 +0200 Peter Kovacs Bug fix in DIMACS reader (#607)
Wed, 07 Oct 2015 18:56:56 +0200 Alpar Juttner Merge bugfix #600 to branch 1.2 1.2