CNF generator for car-sequencing problems from http://www.cs.st-andrews.ac.uk/~ianm/CSPLib/prob/prob001/