Fri, 23 Mar 2018 16:09:27 +0100 Alpar Juttner Merge bugfix #608 to branch 1.3 1.3
Fri, 23 Mar 2018 16:09:06 +0100 Alpar Juttner Merge bugfix #609 to branch 1.3 1.3
Thu, 22 Mar 2018 18:46:56 +0100 Peter Kovacs Add missing break statement to dimacs-solver (#609)