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