Binary Integer Linear Programming Solver