PDDL+ planning with dReal