Stav dette: Binary decision diagrams :