News for hackers. Stuff that matters.

A comment on The Miracle Sudoku [video]. Parent comment

Re:The Miracle Sudoku [video] by conistonwater on Wednesday May 20, 2020 @05:30AM (#23244909)
It's just using a library, you can get the same effect in any language with a constraint satisfaction library.
[ Parent | on HN ]
Re:The Miracle Sudoku [video] by redcodenl on Wednesday May 20, 2020 @06:11AM (#23245149)
Completely agree here, the entire 'solver' is a library there.

However, it does show how cool and versatile SAT solvers are for people who haven't used or seen them yet.

[ Parent | on HN ]