Adiar  2.1.0
An External Memory Decision Diagram Library
internal Directory Reference