This is an implementation of the algorithms of Hopcroft and Tarjan and Schmidt using LEDA, the Library of Efficient Datatypes and Algorithms.
The documentation in the code is somewhat lacking and the code is riddled with debug stuff, but you can read my master's thesis for a (hopefully) clean and understandable presentation.