研究室 · kenkyūshitsu

求解器實驗室

讓一道謎題以不同模式（分支啟發法、重新啟動策略、子句包含消去）跑過我們自製的 CDCL 和 DPLL 求解器，並與 splr 比較。