SP1のぱずるにっき
id:SP1_puzzle
ペンシルパズルとSATソルバー
ペンパ勢が SAT ソルバーを触ってみました。その備忘録と感想です。