MVPlanner: Values are now floating-point.
MVPlanner: Added PDDL domain.