v2.0.0-beta.3

New Features

• adiar_set_domain(...)
  Overloaded to allow creating the domain 0, 1, ..., n-1 when given the number of variables n.

Optimisations

• access_mode enum
  If set to AUTO or to RA then bdd_apply, zdd_binop, and their derivatives will use random access on one of the inputs (if possible). This circumvents using an entire priority queue, thereby improving performance on average by 7%. This is especially beneficial when applying an operator to a very large decision diagram together with a narrow one.

Breaking Changes

• The semantics of the zdd_ithvar function has been changed to be more akin to the BDD semantics. That is, zdd_ithvar(i) is the set of all bitvectors where i is true. Symmetrically, the zdd_nithvar(i) function has been added. The original semantics of zdd_ithvar is still provided with the zdd_singleton function.

Contributors

• Casper Moldrup Rysgaard ( @Crowton )
• Steffan Sølvsten ( @SSoelvsten )