Message-ID:

The heart is not a logical organ. -- Dr. Janet Wallace, "The Deadly Years", stardate 3479.4

devel / comp.lang.prolog / Nut Cracker Challenge 2023/2024: SAT Sudoku

Nut Cracker Challenge 2023/2024: SAT Sudoku

<e69f81ef-1c2a-466a-a4ca-ba8bea145e29n@googlegroups.com>

https://www.rocksolidbbs.com/devel/article-flat.php?id=2273&group=comp.lang.prolog#2273

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:620a:8d0a:b0:76d:e9c0:9109 with SMTP id rb10-20020a05620a8d0a00b0076de9c09109mr465384qkn.7.1701331767020;
Thu, 30 Nov 2023 00:09:27 -0800 (PST)
X-Received: by 2002:a17:90a:fd0c:b0:27f:fe61:852c with SMTP id
cv12-20020a17090afd0c00b0027ffe61852cmr4187552pjb.4.1701331766498; Thu, 30
Nov 2023 00:09:26 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Thu, 30 Nov 2023 00:09:25 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.50.239; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.50.239
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e69f81ef-1c2a-466a-a4ca-ba8bea145e29n@googlegroups.com>
Subject: Nut Cracker Challenge 2023/2024: SAT Sudoku
From: bursejan@gmail.com (Mild Shock)
Injection-Date: Thu, 30 Nov 2023 08:09:27 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1344

by: Mild Shock - Thu, 30 Nov 2023 08:09 UTC

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?

Subject	Author
Nut Cracker Challenge 2023/2024: SAT Sudoku	Mild Shock