Operations research models in quantitative finance | Arena Library | Arena