Adiar  2.1.0
An External Memory Decision Diagram Library
bdd Directory Reference