A 137ms Sparse-Matrix 3-SAT Solver for 10k Variables

(github.com) by khalilovshamil3 | Sep 19, 2026 | 0 comments on HN