Method writePresolvedModel

highs/lp_data/Highs.cpp:876–878

}

HighsStatus Highs::writePresolvedModel(const std::string& filename) {
  return writeLocalModel(presolved_model_, filename);
}

HighsStatus Highs::writeIisModel(const std::string& filename) {
  HighsStatus return_status = this->getIisInterface();