Pyraminx solver: progress
CU_232 solver: finished
Ivy solver finished
Small corrections
Introduce ImplementedTablebasesList