Accidentally writing a fast SAT solver (via runxiyu) — discussion

#compsci