# Prototype for a new optimal solver Work in progress. TODO: * transformations (internal only, not in cube.h) * coordinates: co, eo, epsep, cpsep_sym, cocpsep_sym, cphtr_sym, cocphtr_sym * pruning tables (1 bit per entry + fallback) * solve.c * avx2_cube.c