A Computational Study of Binary Linear and Quadratic Programming and Solvers