Multivalued Synchronous networks constraint solver