Symbol: SOLVER_MULTIVERSION