Constraint reasoning and interactive planning