この本では、制約ソルバー (SAT / CSP) を利用して「数独」などのペンシルパズルを解く方法について解説します。