A constructive primal-dual cutting-plane algorithm for all-integer programming