ampl_module_cplex
