3 ms·
"SAT solvers only really seem to be good at Sudoku": if you use conda or uv, you've used an SAT solver.
by egl2020 1y ago
"SAT solvers only really seem to be good at Sudoku": if you use conda or uv, you've used an SAT solver.
loading thread…
3 ms·