GitHub repository: shionkorsak/robdd_cudd
Description: ROBDD builder from user-defined boolean functions using CUDD package