This a program to implement the so-called "dancing link" which is introduced in Knuth s paper. This is really a super acrobatic and I am sure that not many programmers can understand the algorithms.