Department of Computer Science, Katholieke Universiteit Leuven
http://www.cs.kuleuven.ac.be/
Extensions by Joost Bossuyt & Peter Keyngnaert (see above)