[egl2020]

"SAT solvers only really seem to be good at Sudoku": if you use conda or uv, you've used an SAT solver.