Deakstadieđáhus: Binary decision diagrams :