A Binary Decision Diagram Package. http://www.itu.dk/research/buddy (0)

by BuDDy