ampl_module_minos
