lemon/bits/solver_bits.h
Sun, 06 May 2012 16:52:11 +0200 Merge bugfix #441 to branch 1.2
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)