Symbol: SOLVER_FLAG_SPLITPROVIDES