ampl_module_highs
