Mon, 20 Oct 2008 12:46:39 +0200Print the failed line numbers in the unifier script (ticket #138)
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 20 Oct 2008 12:46:39 +0200] rev 329
Print the failed line numbers in the unifier script (ticket #138)

Mon, 20 Oct 2008 12:17:24 +0200Small improvements in the unifier script
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 20 Oct 2008 12:17:24 +0200] rev 328
Small improvements in the unifier script

Mon, 13 Oct 2008 14:00:11 +0200Several improvements in maximum matching algorithms
Balazs Dezso <deba@inf.elte.hu> [Mon, 13 Oct 2008 14:00:11 +0200] rev 327
Several improvements in maximum matching algorithms
- The interface of MaxMatching is changed to be similar to the
weighted algorithms
- The internal data structure (the queue implementation and the
matching map) is changed in the MaxMatching algorithm, which
provides better runtime properties
- The Blossom iterators are changed slightly in the weighted matching
algorithms
- Several documentation improvments
- The test files are merged