BDD に演算キャッシュを導入したり、制約を合成する順番を変えたりしたところ、ヒント数が17以上だと10~30秒ぐらいで解けるようになった。ここにある ヒント数16のナンプレ問題が発見された - TIM Labs ヒント数が最小の17の問題で試したところ 329|851|746 …