| Sun, 06 May 2012 16:52:11 +0200 | Merge bugfix #441 to branch 1.2 | file | diff | annotate |
| Sat, 05 May 2012 10:22:44 +0200 | Fix buggy reinitialization in _solver_bits::VarIndex::clear() (#441) | file | diff | annotate |
| Sat, 06 Mar 2010 14:35:12 +0000 | Unify the sources (#339) | file | diff | annotate |
| Mon, 23 Feb 2009 11:58:39 +0100 | Fix several missing includes (#232) | file | diff | annotate |
| Tue, 02 Dec 2008 22:48:28 +0100 | Thorough redesign of the LP/MIP interface (#44) | file | diff | annotate |