The Old DisCo Home Page

This page is no longer relevant. The new home page for the DisCo method is at http://disco.cs.tut.fi. We would appreciate if you could inform the maintainer of the pages that brought you here. Alternatively you can send an email to me at pk@cs.tut.fi.