I am working on a combinatorics problem that has connections to group theory, and I decided to do the group theoretic part in GAP (b/c GAP is really efficient in that area). Now, the computations involve finding an exact cover in a certain configuration, and the most straightforward way to tackle this is using Knuth's Algorithm X for backtracking.
I was wondering (especially since the 'A' in 'GAP' stands for 'Algorithms') whether a GAP implementation of the Algorithm X / Dancing Links has already been implemented and can be reused. I haven't found anything about it in the docs; has anyone else come across something like that?