-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Analysis of recursion reduction
enhancementNew feature or requestNew feature or requestlibraryThis issue or pull request is related to the libraryThis issue or pull request is related to the libraryStatus: Open.Use random-heuristics from the library in the binary
binaryThis issue or pull request is related to the binaryThis issue or pull request is related to the binaryenhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersStatus: Open.#97 In ellmau/adf-obdd;Three valued NoGood representation
enhancementNew feature or requestNew feature or requestlibraryThis issue or pull request is related to the libraryThis issue or pull request is related to the libraryStatus: Open.Create a better landing-page
documentationImprovements or additions to documentationImprovements or additions to documentationrepositoryPull requests that update the repository structurePull requests that update the repository structureStatus: Open.#82 In ellmau/adf-obdd;Nogood-Learning for complete semantics (3-valued)
enhancementNew feature or requestNew feature or requestlibraryThis issue or pull request is related to the libraryThis issue or pull request is related to the libraryStatus: Open.Streamlined output of logging information
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomerslibraryThis issue or pull request is related to the libraryThis issue or pull request is related to the libraryStatus: Open.#75 In ellmau/adf-obdd;Output Ordering
binaryThis issue or pull request is related to the binaryThis issue or pull request is related to the binarygood first issueGood for newcomersGood for newcomerslibraryThis issue or pull request is related to the libraryThis issue or pull request is related to the libraryStatus: Open.Variable Order
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededlibraryThis issue or pull request is related to the libraryThis issue or pull request is related to the libraryStatus: Open.Representation of interpretations with Smart Pointers
enhancementNew feature or requestNew feature or requestlibraryThis issue or pull request is related to the libraryThis issue or pull request is related to the libraryquestionFurther information is requestedFurther information is requestedStatus: Open.