xdd (cargo): Decision diagrams including BDD, ZDD, MBDD, πDD and more for combinatorics.
Keywords: multiset|set|boolean-expression|bdd|zdd