Sat, 05 May 2012 10:22:44 +0200 Alpar Juttner Fix buggy reinitialization in _solver_bits::VarIndex::clear() (#441)
Fri, 20 Jan 2012 19:16:43 +0100 Alpar Juttner Merge Intel C++ compatibility fixes to branch 1.1 1.1
Thu, 19 Jan 2012 15:25:06 +0100 Alpar Juttner Intel C++ compatibility fixes