Adiar  2.1.0
An External Memory Decision Diagram Library
zdd Directory Reference