25-Mar-2012, 1:18 AM
Solver, yes, but I wouldn't call it AI. It works by simply trying every possible move, including those that are "obviously" wrong, until it happens upon a solution. The technique can be used to solve any level given enough time and memory.