prob016: traffic lights

proposed by  Toby Walsh
tw@cs.strath.ac.uk

Overview

The problem description consists of: