Implements algorithms and I/O for list decision diagrams.
Implements various utility and I/O functionality for symbolic data structures, i.e., decision diagrams.