Source from the Knuth dancing-links to solve an exact cover problem