Peter Kovacs <kpeter@inf.elte.hu> [Wed, 28 Mar 2012 19:39:56 +0200] rev 967
Fix a bug + remove redundant typedefs in dimacs-solver (#440)
Alpar Juttner <alpar@cs.elte.hu> [Thu, 13 Sep 2012 12:05:34 +0200] rev 966
Merge #449 to branch 1.2
Alpar Juttner <alpar@cs.elte.hu> [Thu, 13 Sep 2012 12:02:27 +0200] rev 965
Further clang compilation fixes (#449)