Grzegorz Krawczyk <krawczyk@mpi-inf.mpg.de>
http://www.mpi-inf.mpg.de/~krawczyk/


Parts of the code are contributed by several people as mentioned in
the appropriate places. Special thanks for contribution go to:
 - Akiko Yoshida
 - Rafal Mantiuk
 - Radoslaw Mantiuk