Accidentally writing a fast SAT solver

2 points | by max__dev 16 hours ago