Class BavetConstraintFactory<Solution_>