Zdd 
Zerosuppressed 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
