nrc(z)(t)-chains
nrc(z)(t)-chains
I love that you've added nrc(z)(t) to SudoCue. However, the most general form of them is something that probably needs to worked up to. Any chance you could include the "starter" versions as well, namely xyt-chains, xy(z)t-chains and their (super)hidden counterparts the hxy(z)(t)-chains?
"Obviousness is always the enemy to correctness."-Bertrand Russell