The software distribution is not publicly available yet.

Contact to Marta Fairén mfairen@lsi.upc.es if you are interested.