| Fri, 09 Aug 2013 11:28:17 +0200 | Apply unify-sources.sh to the source tree | file | diff | annotate |
| Sun, 06 May 2012 17:18:39 +0200 | Merge bugfix #441 | 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 |