Integer Linear Programming Code