A top-down/breadth-first decision diagram manipulation framework - View it on GitHub