Library for binary decision diagrams
