Get the solver status from a solution
solver_status(solution)
character vector being either "infeasible", "optimal" or "unbounded"