C  
Cardinal [Zdd]  
Count [Emc.S] 
Functor usage of arithmetics

D  
D [Emc] 
DLXbased implementation

Dlx 
Knuth's dancing links (aka DLX)
see http://en.wikipedia.org/wiki/Dancing_Links

E  
Emc 
Exact Matrix Cover problem interface for ZDD and DLX

P  
Pattern [Tiling] 
Pattern representation as boolean matrix

S  
S [Zdd]  
T  
Tile [Tiling]  
Tiling 
Tiling problems modeling and encoding to EMC

Z  
Z [Emc] 
ZDDbased implementation

Zdd 
Zerosuppressed binary decision diagrams.
