public HighsStatus setIntOptionValue(string option, int value) { return((HighsStatus)HighsLpSolver.Highs_setIntOptionValue(this.highs, option, value)); }