Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Nut Cracker Challenge 2023/2024: SAT Sudoku

12 views
Skip to first unread message

Mild Shock

unread,
Nov 30, 2023, 3:09:28 AM11/30/23
to
Now there was this article:

Logic Puzzles and SAT Solvers: A match made in heaven.
https://sabhijit.medium.com/logic-puzzles-and-sat-solvers-a-match-made-in-heaven-5e0a7a64c04b

Unfortunately it didn't even mention one of the Prolog
libraries for SAT solving. Can this situation be changed?
How would we do Sudoku in SAT solving? Is it worth?
0 new messages