This software has been developed at the Laboratoire de Mathématiques Discrètes (Univ Lyon I, France), with partial support from the Region Rhône-Alpes (France). http://www.lmd.univ-lyon1.fr/ http://www.cr-rhone-alpes.fr/