Homepage of CacBDD

CacBDD: A New Efficient BDD Package with Open Sources 

CacBDD is a new efficient BDDs (Binary Decision Diagrams) package, which implements a dynamic cache management algorithm. Experiments on the BDD benchmarks of both combinational circuits and model checking show that CacBDD is more efficient compared with the state-of-the-art BDD package CUDD.