Integer program definition.