Wed, 07 Nov 2012 18:13:26 +0100 | Alpar Juttner | Merge bugfix #440 to branch 1.2 | changeset | files |
Wed, 07 Nov 2012 18:10:07 +0100 | Alpar Juttner | Merge bugfix #440 to branch 1.1 | changeset | files |
Wed, 28 Mar 2012 19:39:56 +0200 | Peter Kovacs | Fix a bug + remove redundant typedefs in dimacs-solver (#440) | changeset | files |
Wed, 07 Nov 2012 17:39:39 +0100 | Alpar Juttner | Merge docfix #437 | changeset | files |