| 2012-05-06 | Merge bugfix #441 to branch 1.2 | file | diff | annotate |
| 2012-05-05 | Fix buggy reinitialization in _solver_bits::VarIndex::clear() (#441) | file | diff | annotate |
| 2010-03-06 | Unify the sources (#339) | file | diff | annotate |
| 2009-02-23 | Fix several missing includes (#232) | file | diff | annotate |
| 2008-12-02 | Thorough redesign of the LP/MIP interface (#44) | file | diff | annotate |