2012-03-28 Peter Kovacs Fix a bug + remove redundant typedefs in dimacs-solver (#440)
2012-09-13 Alpar Juttner Merge #449 to branch 1.2 1.2
2012-09-13 Alpar Juttner Further clang compilation fixes (#449)