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

Variable Order #9

Open
ellmau opened this issue Jan 6, 2022 · 0 comments
Open

Variable Order #9

ellmau opened this issue Jan 6, 2022 · 0 comments
Labels
enhancement New feature or request help wanted Extra attention is needed library This issue or pull request is related to the library
Milestone
Future Features

Comments

@ellmau
Copy link
Owner

ellmau commented Jan 6, 2022

Automatically find a good variable order for the given ADF.
@ellmau ellmau added enhancement New feature or request help wanted Extra attention is needed labels Jan 6, 2022
@ellmau ellmau added this to the Future Features milestone Jan 6, 2022
@ellmau ellmau added this to ADF-OBDD Mar 3, 2022
@ellmau ellmau moved this to Todo in ADF-OBDD Mar 3, 2022
@ellmau ellmau added the library This issue or pull request is related to the library label Mar 15, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request help wanted Extra attention is needed library This issue or pull request is related to the library
Projects
ADF-OBDD
Status: Todo
Milestone
Future Features
Development

No branches or pull requests
1 participant
@ellmau