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

Use random-heuristics from the library in the binary #97

Open
ellmau opened this issue Aug 9, 2022 · 1 comment
Open

Use random-heuristics from the library in the binary #97

ellmau opened this issue Aug 9, 2022 · 1 comment
Labels
binary This issue or pull request is related to the binary enhancement New feature or request good first issue Good for newcomers

Comments

@ellmau
Copy link
Owner

ellmau commented Aug 9, 2022

Is your feature request related to a problem? Please describe.
#96 has added a random heuristics function to the library. This functionality, including seed-selection for reproducible runs shall be added accordingly.
Describe the solution you'd like
A new option to set a seed and handling of the new option.

Describe alternatives you've considered
None

Additional context
None
@ellmau ellmau added enhancement New feature or request binary This issue or pull request is related to the binary labels Aug 9, 2022
@ellmau ellmau added this to ADF-OBDD Aug 9, 2022
@ellmau ellmau moved this to Todo in ADF-OBDD Aug 9, 2022
@ellmau ellmau added the good first issue Good for newcomers label Aug 9, 2022
@ellmau
Copy link
Owner Author

ellmau commented Aug 9, 2022 •
edited
Loading

As the seed consistes of 32 u8 values it might be a good idea to represent the seed in an ipv6 address-style, which is quite easily read- and understandable

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
binary This issue or pull request is related to the binary enhancement New feature or request good first issue Good for newcomers
Projects
ADF-OBDD
Status: Todo
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ellmau