Integer Linear Programming Python Questions