実は、整数計画問題を解くソフトウェアが存在 （ソルバーという） →整数計画問題に定式化できれば、あとは待つだけ
ただし、ソフトウェアにも変数の数などに限界あり フリーソフトにくらべ、「売り物」は限界が大きく、 スピードも速い
さっきの問題を、フリーのソルバー「LP_solve」で解いてみる