Classification and Treatment Learning with Constraints via Composite Heaviside Optimization: a Progressive MIP Method | Arena Library | Arena