A Haskell Library for Weighted Ordered Decision Diagrams.