Alpar Juttner <alpar@cs.elte.hu> [Mon, 15 Oct 2018 23:22:18 +0200] rev 1171
 
Fix warnings emitted by VS2017 (#614)
Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 18:56:39 +0200] rev 1170
 
Merge #1.3 related bugfix heads
Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 18:56:32 +0200] rev 1169
 
Merge #1.3 related bugfix heads
Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 18:56:08 +0200] rev 1168
 
Merge #1.3 related bugfix heads
Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 18:55:53 +0200] rev 1167
 
Merge #1.3 related bugfix heads
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 16:09:27 +0100] rev 1166
 
Merge bugfix #608 to branch 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
Peter Kovacs <kpeter@inf.elte.hu> [Thu, 22 Mar 2018 18:46:56 +0100] rev 1164
 
Add missing break statement to dimacs-solver (#609)