Class BavetConstraint<Solution_>