Function readinstance

highs/io/filereaderlp/reader.cpp:308–311

};

Model readinstance(std::string filename) {
  Reader reader(filename);
  return reader.read();
}

// convert string to lower-case, modifies string
static inline void tolower(std::string& s) {