|
|
|
|
|
|
by filipezf
634 days ago
|
|
|
Long before this Matt video, I've done just that. A generator of devilish no-image jigsaw puzzles :-) which I indeed wanted to do a little Show HN someday. I made a small python script call a SAT solver to create a MxN puzzle with only 1 solution but only a few jig shapes, so maaany 'almost solutions'. Then I laser cut a plastic board and made it real, and gave one copy to a friend. At least a nice use of SAT solvers that is more efficient than Matts brute force approach. |
|
|