Modelling attempts for the car sequencing problem from the CSPLIB