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
Recent Visitors
Microbot
Sun May 5 22:00:44 2024
from
Moore, Ok
via
Telnet
Djatropine
Sun May 5 15:38:50 2024
from
Memphis, Tn
via
Telnet
Grey Gamer
Sun May 5 07:13:35 2024
from
Show Low, Az
via
Telnet
Grey Gamer
Mon May 6 07:57:21 2024
from
Show Low, Az
via
Telnet