ampl_module_copt
