SOLVER_FLAG_SPLITPROVIDES
solver_set_flag(fSolver, SOLVER_FLAG_SPLITPROVIDES, 1);
{ SOLVER_FLAG_SPLITPROVIDES, "splitprovides", 0 },
case SOLVER_FLAG_SPLITPROVIDES:
case SOLVER_FLAG_SPLITPROVIDES: