Pop-Up Thingie
Sidebar
War Ensemble BBS
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Newsgroups
comp.lang.prolog
Nut Cracker Challenge 2023/2024: SAT Sudoku
From
Mild Shock
@bursejan@gmail.com to
comp.lang.prolog
on Thu Nov 30 00:09:25 2023
From Newsgroup: comp.lang.prolog
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?
--- Synchronet 3.20a-Linux NewsLink 1.114
Who's Online
System Info
Sysop:
DaiTengu
Location:
Appleton, WI
Users:
923
Nodes:
10 (
0
/
10
)
Uptime:
95:13:14
Calls:
12,227
Files:
186,538
Messages:
2,243,831