博士

ロボ子、今日のLeetCode問題は解けたかのじゃ？

ロボ子

はい、博士。今日は制約ソルバーを使えば簡単に解ける問題があったみたいです。

博士

ほほう、制約ソルバーとな。例えばどんな問題じゃ？

ロボ子

例えば、コイン両替問題です。貪欲法では最適解が得られない場合でも、MiniZincのような制約ソルバーを使えば簡単に最適解を求められるそうです。

博士

ふむふむ。MiniZincのコードはどんな感じじゃ？

ロボ子

こんな感じです。