Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Hackers are just a migratory lifeform with a tropism for computers.


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

SubjectAuthor
o Nut Cracker Challenge 2023/2024: SAT SudokuMild Shock

1
Nut Cracker Challenge 2023/2024: SAT Sudoku

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

  copy mid

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

  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: burse...@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?


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

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor