Making constraint solvers more usable: overconstraint problem