An automatic solver for instances of the "blacksheep" puzzle (that's the name I know of, there might be a more popular alternative).