SSoelvsten/adiar

Add `zdd_exists` and `zdd_forall`

SSoelvsten opened this issue · 0 comments

SSoelvsten commented

In the same vein as #592 and Sylvan, we should add a zdd_exists and zdd_forall implementation for usage of ZDDs with BDD semantics. Here, a quantified level should leave don't care nodes behind.

  • Add zdd_exists
  • Add zdd_forall