Roofbot: Puzzler on the Roof