Constraint Solving by Martine Ceberio