ILP Solverを作ってみる