研究室 · kenkyūshitsu
Laboratorio de solvers
Pon a competir un puzle en nuestros solvers CDCL y DPLL en distintos modos (heurísticas de ramificación, políticas de reinicio, subsunción) y compáralos con splr.
3 · Resultados 結果
El tiempo total es codificación más resolución. Las soluciones desconectadas se refutan de forma perezosa; cada refutación cuesta otra llamada SAT.
Aún no hay carreras. 待機中