15-Peg Solitaire: Brute Force vs. an SMT Solver
Stop telling the computer how to search. Tell it what a win looks like. Solving the Cracker Barrel peg game by brute force, then with the Z3 SMT solver.
#games
Content tagged with "games"
As an Amazon Associate I earn from qualifying purchases.
Checkers game-over in Haskell
Can Haskell pattern matching spell out the rules of checkers? A literate Haskell program that rotates the board to test whether a side can still move.
Tktk: A Perl/Tk Solitaire Game
Time killer in Perl/Tk. A Perl Journal article that builds a Pyramid-style solitaire game step by step: rules, Fisher-Yates shuffle, layout, and moves.