You don't need a full solve. It's a planning problem w/ formally specified operations for getting to a desired state. I wrote enough code in undergrad robotics class to know the problem isn't actually as difficult as people were saying but I didn't have enough AI at the time to do the transfer mapping between different actuators.