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