OZONE Temporal Constraint Propagator - The Robotics Institute Carnegie Mellon University