Method – constraint solvers