implement enumeration of permutations in linear time. This hopefully speeds up all solvers.
CU_232 solver: finished