Wed, 07 Nov 2012 18:10:07 +0100Merge bugfix #440 to branch 1.1 1.1
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Nov 2012 18:10:07 +0100] rev 795
Merge bugfix #440 to branch 1.1

Wed, 28 Mar 2012 19:39:56 +0200Fix a bug + remove redundant typedefs in dimacs-solver (#440)
Peter Kovacs <kpeter@inf.elte.hu> [Wed, 28 Mar 2012 19:39:56 +0200] rev 794
Fix a bug + remove redundant typedefs in dimacs-solver (#440)

Thu, 13 Sep 2012 11:52:50 +0200Merge #449 to branch 1.1 1.1
Alpar Juttner <alpar@cs.elte.hu> [Thu, 13 Sep 2012 11:52:50 +0200] rev 793
Merge #449 to branch 1.1