Implementing non-linear constraints with cooperative solvers