Some solvers from Knuth's program page:
| solver | doc | comment |
|---|---|---|
| dlx1.c | pdf,cweb | Algorithm 7.2.2.1X for exact cover via dancing links |
| dlx2.c | pdf,cweb | Algorithm 7.2.2.1C, the extension to color-controlled covers |
| dlx3.c | pdf,cweb | Algorithm 7.2.2.1M, the extension to general column sums |
Extract http://ftp.cs.stanford.edu/pub/sgb/sgb.tar.gz and then use the Makefile, so type make tests and then type sudo make install.