GitHub repository: runekrauss/freddy
Primary language: C++
Description: A design automation framework to engineer decision diagrams yourself