ampl_module_conopt3
