Example solutions to exact cover problems with dlx
Knuth's Dancing Links algorithm for the exact cover problem