Closed andreaslundell closed 3 years ago
C.f. https://github.com/ampl/mp/issues/135#issuecomment-806058995
Fixed as of https://github.com/coin-or/SHOT/pull/120.
C.f. https://github.com/ampl/mp/issues/135#issuecomment-806058995