Thu, 22 Dec 2011 20:55:43 +0100 | Alpar Juttner | Update INSTALL to use CMAKE. Also update AUTHORS and LICENSE | changeset | files |
Fri, 22 Jun 2012 16:42:05 +0200 | Alpar Juttner | Merge bugfix #444 | changeset | files |
Fri, 22 Jun 2012 16:25:56 +0200 | Alpar Juttner | Bugfix in path copy constructors and assignment operators (#444) | changeset | files |
Sun, 06 May 2012 17:18:39 +0200 | Alpar Juttner | Merge bugfix #441 | changeset | files |
Sat, 05 May 2012 10:22:44 +0200 | Alpar Juttner | Fix buggy reinitialization in _solver_bits::VarIndex::clear() (#441) | changeset | files |
Fri, 03 Feb 2012 05:55:39 +0100 | Alpar Juttner | Merge | changeset | files |