Symbol: solver_get_flag