googleのOR-toolsでもやろうと思えばやれるのかもしれないけど、難しい上にいちいち入力するのが手間だし、理論上は制約が伝われば良いだけでもっと簡単な入力方法があるはずだから、とにかく今は解答に必要な制約をまとめるだけにする。 問題は、制約を解い…