Re:The Miracle Sudoku [video]
by ben-schaaf on Wednesday May 20, 2020 @04:04AM
(#23244453)
I'm still mesmerized by the 15-line prolog sudoku solver: http://programmablelife.blogspot.com/2012/07/adventures-in-d...
[ Parent
| on HN ]
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.
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.