combinatorial-search
A powerful & flexible Rubik's Cube solver
a python library to build permutations sequences with various constraints (Combinatorial Search)