C | |
| Cardinal [Zdd] | |
| Count [Emc.S] |
Functor usage of arithmetics
|
D | |
| D [Emc] |
DLX-based 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] |
ZDD-based implementation
|
| Zdd |
Zero-suppressed binary decision diagrams.
|