Binary Integer Programming With Python