| 878 | } |
| 879 | |
| 880 | HighsStatus Highs::writeIisModel(const std::string& filename) { |
| 881 | HighsStatus return_status = this->getIisInterface(); |
| 882 | if (return_status == HighsStatus::kError) return return_status; |
| 883 | return writeLocalModel(iis_.model_, filename); |
| 884 | } |
| 885 | |
| 886 | HighsStatus Highs::writeLocalModel(HighsModel& model, |
| 887 | const std::string& filename) { |