binary decision diagram A data structure used to represent graphs as boolean equations Dependencies Running the program Type in terminal: ./BDD.py Authors/Contributors Sam Stanley (Programmer)