| Mon, 08 Aug 2011 12:36:16 +0200 | Unify sources | file | diff | annotate |
| Tue, 16 Mar 2010 21:12:10 +0100 | Fix multiple execution bug in weighted matchings (#356) | file | diff | annotate |
| Thu, 07 May 2009 02:07:59 +0200 | Small doc improvements (#257) | file | diff | annotate |
| Fri, 17 Apr 2009 09:58:50 +0200 | Rename max_matching.h to matching.h (#265) | file | diff | annotate | base |