Exhaustive Problem Solver Demo