Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 18:56:32 +0200] rev 1176
Merge #1.3 related bugfix heads
Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 18:56:08 +0200] rev 1175
Merge #1.3 related bugfix heads
Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 18:55:53 +0200] rev 1174
Merge #1.3 related bugfix heads
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 15:43:30 +0100] rev 1173
Merge #602
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 15:39:54 +0100] rev 1172
Merge bugfix #608
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 15:37:23 +0100] rev 1171
Merge bugfix #609
Peter Kovacs <kpeter@inf.elte.hu> [Thu, 22 Mar 2018 18:46:56 +0100] rev 1170
Add missing break statement to dimacs-solver (#609)