Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add zdd_exists and zdd_forall #593

Open
2 tasks
SSoelvsten opened this issue Dec 5, 2023 · 0 comments
Open
2 tasks

Add zdd_exists and zdd_forall #593

SSoelvsten opened this issue Dec 5, 2023 · 0 comments
Labels
✨ feature New operation or other feature 📁 zdd Zero-suppressed Decision Diagrams
Milestone
v1.1 : Zero-suppr...

Comments

@SSoelvsten
Copy link
Owner

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 SSoelvsten added ✨ feature New operation or other feature 📁 zdd Zero-suppressed Decision Diagrams labels Dec 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
✨ feature New operation or other feature 📁 zdd Zero-suppressed Decision Diagrams
Projects
None yet
Milestone
v1.1 : Zero-suppressed Decision Diagrams
Development

No branches or pull requests
1 participant
@SSoelvsten