This page has been moved to
http://gmcg.disi.unige.it/SPADA/.