Index of types
Index of values
Index of modules
Index of module types


Zdd
Zero-suppressed binary decision diagrams.
Dlx
Knuth's dancing links (aka DLX) see http://en.wikipedia.org/wiki/Dancing_Links
Emc
Exact Matrix Cover problem interface for ZDD and DLX
Tiling
Tiling problems modeling and encoding to EMC