Kind of a bizarre side question, would constraint solving be the right tool to use to "solve" things like the kittens/catnip game (a civclicker variant)? Like, at any given moment, given a goal and available resources, tell you the "best" way to allocate your resources.