1. Forum
  2. Newsgroups
  3. 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