© Cork Constraint Computation Centre, University College Cork.