SFDD Sentential Functional Decision Diagram package Dependencies graphviz - for drawing SFDDs in png format expect - for timeout of a test