SMT fan-game for a future Comp Sci class.