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