GitHub repository: junkawahara/TdZdd
Primary language: C++
Description: A top-down/breadth-first decision diagram manipulation framework