entire formulation
entire formulation
example normalize2 ilp program