Added constraint solver.