Jing: a TablebasePruning-based solver finished and working.
Jing: a TablebaseAbstract-based solver finished and working.
Jing tablebase. New, less pillowed Jing mesh.