protected virtual void Dispose(bool disposing) { if (this._disposed) { return; } HighsLpSolver.Highs_destroy(this.highs); this._disposed = true; }