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

avoid code duplication between BDD packages #46

Open
m4lvin opened this issue Apr 18, 2024 · 0 comments
Open

avoid code duplication between BDD packages #46

m4lvin opened this issue Apr 18, 2024 · 0 comments
Labels
technical debt

Comments

@m4lvin
Copy link
Member

m4lvin commented Apr 18, 2024 •
edited
Loading

Current pain points:

  • a lot of repeated code between S5, S5_CUDD, and S5_DD etc.
  • missing Symbolic.K_DD and Symbolic.Ki_DD
  • running the same example with CacBDD, CUDD or d-d needs type and code changes.

Note: one attempt to solve this problem with an abstraction layer is https://hackage.haskell.org/package/hBDD from 2015.

Options to explore:

  • other abstraction libraries?
  • Template Haskell?
  • Use CPP for naive concatenation of source files?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
technical debt
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@m4lvin