adiar icon indicating copy to clipboard operation
adiar copied to clipboard

Published 20 hours ago • verified publisher icon SSoelvsten

Add `zdd_exists` and `zdd_forall`

Open SSoelvsten opened this issue 1 year ago • 0 comments

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

SSoelvsten avatar Dec 05 '23 22:12 SSoelvsten