A 137ms Sparse-Matrix 3-SAT Solver for 10k Variables(github.com)
1 pointby khalilovshamil35 hours ago1 comment