An agent which solves a single-player board game using meta-level reasoning.