研究室 · kenkyūshitsu

求解器实验室

让一道谜题以不同模式（分支启发式、重启策略、子句包含消除）跑过我们自研的 CDCL 和 DPLL 求解器，并与 splr 比较。