An automatic solver for the totalrecall game