lemon/bits/solver_bits.h
Fri, 09 Aug 2013 11:28:17 +0200 Apply unify-sources.sh to the source tree
Sun, 06 May 2012 17:18:39 +0200 Merge bugfix #441
Sat, 05 May 2012 10:22:44 +0200 Fix buggy reinitialization in _solver_bits::VarIndex::clear() (#441)
Sat, 06 Mar 2010 14:35:12 +0000 Unify the sources (#339)
Mon, 23 Feb 2009 11:58:39 +0100 Fix several missing includes (#232)
Tue, 02 Dec 2008 22:48:28 +0100 Thorough redesign of the LP/MIP interface (#44)