ampl_module_mosek
