WalkSat

Evolutionary Algorithm which uses random walks or calculated positional moves to satisfy a conditional probability. Guaranteed convergence with enough random walks to avoid gradient slumps. Built in Python while at St. Andrews