多功能的符号OBDD软件包的头文件。功能强大。研究微电子和BDD ZDD ADD 都需要 科罗拉多大学的开源项目 已经编译过有pdf文件的 再使用时候最好清理一下重新编译-Multifunctional symbol OBDD package headers. Powerful. Microelectronics research and BDD ZDD ADD need an open source project of the University of Colorado have