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.
#smt
Content tagged with "smt"
What I Learned About Theoretical CS at Cracker Barrel
Connecting the Cracker Barrel peg game with SMT solvers, Turing machines, and NP-completeness. Presented to HSV.py in 2024, with slides and code online.
What I Learned About Theoretical CS at Cracker Barrel
Connecting the Cracker Barrel peg game with SMT solvers, Turing machines, and NP-completeness. Presented to UAH ACM-W in 2022, with slides and code online.