Sat, 05 May 2012 10:22:44 +0200 Alpar Juttner Fix buggy reinitialization in _solver_bits::VarIndex::clear() (#441)