研究で SMT (Satisfiability Modulo Theories) solver を使ってなにかしてみようというお話になったので、よくある数独ソルバーを作ってみました。 SMT solver とは、 SAT solver の便利バージョンのようなもので、変数、配列、関数などを定義できて、それら…