Interface ConstraintSession<Solution_>