Philippe Laborie from IBM CPLEX team shared several models for representation and solving an optimization problem in assembly line balancing research. His solutions are shown in Python CP Optimizer and OPL: they are not only very compact but highly efficient. Link