Different SAT models for the car sequencing problem Modelling attempts for the car sequencing problem from the CSPLIB Description of the models SAT Models: (subfolder gen) e1 - e3) see paper description