Wed, 28 Nov 2012 11:41:40 +0100 Alpar Juttner Avoid GCC 4.7 compiler warnings (#453)
Wed, 07 Nov 2012 18:13:26 +0100 Alpar Juttner Merge bugfix #440 to branch 1.2 1.2
Wed, 28 Mar 2012 19:39:56 +0200 Peter Kovacs Fix a bug + remove redundant typedefs in dimacs-solver (#440)
Thu, 13 Sep 2012 12:05:34 +0200 Alpar Juttner Merge #449 to branch 1.2 1.2
Thu, 13 Sep 2012 12:02:27 +0200 Alpar Juttner Further clang compilation fixes (#449)
Thu, 13 Sep 2012 11:56:19 +0200 Alpar Juttner Merge #449 to branches >=1.2