Progress with TablebasesPruning
PruningTables now support numBits=20,24.Progress with TablebasesPruning.
creation of PruningTables.
progress with PruningTable.
New PruningTable data structure for solvers.