implement enumeration of permutations in linear time. This hopefully speeds up all solvers.
Jing: a TablebasePruning-based solver finished and working.