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.
#python
Content tagged with "python"
Word Ladder in Python
It just looks so boring. A Python word ladder solver: breadth-first search through a dictionary for the shortest ladder, and a list-comprehension slowdown.