pub fn solve_optimal(model: Model) -> Result<SolvedModel>
Try to solve the model, returning an error if the model is incoherent or result is non-optimal