Constraint solver

Summary