https://mingredbestcheapprice.blogspot.com/2022/10/binary-linear-programming-solver-in.html