GitHub repository: yanntm/meddly
Primary language: C++
Description: Multi-terminal and Edge-valued Decision Diagram LibrarY