Split constraint solvers