CU_232 solver: beginnings of the solver class.
Ivy Solver: implementations of getIndex() and getQuats() remain.
Introduce ImplementedTablebasesList