News for hackers. Stuff that matters.

A comment on Solving a "Layton Puzzle" with Prolog. Parent comment

Re:Solving a "Layton Puzzle" with Prolog by happyhacks on Wednesday April 09, 2025 @07:10AM (#43630859)
my take - more writeup style for people new to z3

https://happyhacks.bearblog.dev/solving-a-layton-puzzle-with...

[ Parent | on HN ]

There are no comments on this comment yet.