Possible implementation of ConstraintSolver