Griffin is a chess solver.