Skip to content

Issues: ellmau/adf-obdd

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

9 Open 19 Closed
9 Open 19 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Analysis of recursion reduction enhancement New feature or request library This issue or pull request is related to the library
#100 opened Aug 10, 2022 by ellmau BDD optimisations
Use random-heuristics from the library in the binary binary This issue or pull request is related to the binary enhancement New feature or request good first issue Good for newcomers
#97 opened Aug 9, 2022 by ellmau
1
Three valued NoGood representation enhancement New feature or request library This issue or pull request is related to the library
#88 opened Aug 2, 2022 by ellmau Future Features
Create a better landing-page documentation Improvements or additions to documentation repository Pull requests that update the repository structure
#82 opened Jul 29, 2022 by ellmau
Nogood-Learning for complete semantics (3-valued) enhancement New feature or request library This issue or pull request is related to the library
#79 opened Jul 18, 2022 by ellmau Future Features
Streamlined output of logging information enhancement New feature or request good first issue Good for newcomers library This issue or pull request is related to the library
#75 opened Jun 23, 2022 by ellmau
Output Ordering binary This issue or pull request is related to the binary good first issue Good for newcomers library This issue or pull request is related to the library
#10 opened Jan 6, 2022 by ellmau Future Features
1
Variable Order enhancement New feature or request help wanted Extra attention is needed library This issue or pull request is related to the library
#9 opened Jan 6, 2022 by ellmau Future Features
Representation of interpretations with Smart Pointers enhancement New feature or request library This issue or pull request is related to the library question Further information is requested
#2 opened Nov 20, 2021 by ellmau Future Features
1
ProTip! Find all open issues with in progress development work with linked:pr.