OZONE Temporal Constraint Propagator - Robotics Institute Carnegie Mellon University