Fri, 23 Mar 2018 16:09:27 +0100Merge bugfix #608 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 16:09:27 +0100] rev 1166
Merge bugfix #608 to branch 1.3

Fri, 23 Mar 2018 16:09:06 +0100Merge bugfix #609 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 16:09:06 +0100] rev 1165
Merge bugfix #609 to branch 1.3

Thu, 22 Mar 2018 18:46:56 +0100Add missing break statement to dimacs-solver (#609)
Peter Kovacs <kpeter@inf.elte.hu> [Thu, 22 Mar 2018 18:46:56 +0100] rev 1164
Add missing break statement to dimacs-solver (#609)