1. Forum
  2. Usenet
  3. COMP.LANG.PROLOG

  • Nut Cracker Challenge 2023/2024: SAT Sudoku

    From Mild Shock@21:1/5 to All on Thu Nov 30 00:09:25 2023
    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?

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)