Williams' Theorem in action: zone-based constraint solving applied to classic games. Play interactively with WSRF hints, or watch WSRF solvers demolish naive algorithms in real-time showdowns.