Hello! In the current version in CVS there seems to be a problem with the documentation of Constraint_System - it is not listed in PPL->Namespace List->Parma_Polyhedra_Library and furthermore it is never shown as a link, if it is mentioned. Regards, Michael