implement enumeration of permutations in linear time. This hopefully speeds up all solvers.
Dino6 solver: pruning version done.