android で数独のアプリを作成している。このなかに問題作成機能を作ったが、実際に作った問題の解が複数あるかどうかを高速に判定する必要があると思う。それで、BDD で数独ソルバーを書いているがなかなか難しい。適当に考えた制約は、(1)各マスには1つの…