GitHub repository: ssoelvsten/adiar
Primary language: C++
Description: An I/O-efficient implementation of (Binary) Decision Diagrams