An automated solver for 2048