Symbol: solver_set_flag