研究室 · kenkyūshitsu

ソルバーラボ

ひとつのパズルを、自作のCDCL・DPLLソルバーのさまざまなモード（分岐ヒューリスティック、リスタート方式、包含除去）で競わせ、splrと比べます。