http://www.inf.fu-berlin.de/~gottwald/