Fri, 22 Jun 2012 16:31:05 +0200 Alpar Juttner Merge bugfix #444 to branch 1.1 1.1
Fri, 22 Jun 2012 16:25:56 +0200 Alpar Juttner Bugfix in path copy constructors and assignment operators (#444)
Sun, 06 May 2012 17:18:39 +0200 Alpar Juttner Merge bugfix #441
Sun, 06 May 2012 16:52:11 +0200 Alpar Juttner Merge bugfix #441 to branch 1.2 1.2
Sun, 06 May 2012 16:46:14 +0200 Alpar Juttner Merge bugfix #441 to branch 1.1 1.1
Sat, 05 May 2012 10:22:44 +0200 Alpar Juttner Fix buggy reinitialization in _solver_bits::VarIndex::clear() (#441)