制約ソルバーでNYTimes Pipsパズルを解く

ニューヨーク・タイムズの新パズル「Pips」を制約ソルバーMiniZincで解く方法を紹介。ドミノ配置パズルの条件を制約として記述し、ミリ秒単位で解を見つけるプロセスを解説。制約プログラミングの実用的な応用例として、問題解決のアプローチと実装の詳細を説明する。