3 ms·A 137ms Sparse-Matrix 3-SAT Solver for 10k Variables2 points by khalilovshamil3 1mo agokhalilovshamil3 1mo ago[dead]