Text this: An efficient algorithm for nonlinear integer programming