ellmau / adf-obdd

Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)

https://ellmau.github.io/adf-obdd/

MIT License

8 stars 0 forks source link

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

Open ellmau opened 2 years ago

ellmau commented 2 years ago

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 commented 2 years ago

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