[pddl] 默认的planner solver.planning.domains 不能解决fluents的问题。他直接忽略了fluents这个requirement。LPG目前看来也不行，Metric-FF据说可以，但是不是时序的。