An efficient library for manipulating decision diagrams
