-
Notifications
You must be signed in to change notification settings - Fork 5
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#20 In QuMuLab/dsharp;
Wrong nnf file produced with right model count on formulas
bugSomething isn't workingSomething isn't workingStatus: Open.#12 In QuMuLab/dsharp;Add the option to only count relevant variables
enhancementNew feature or requestNew feature or requestStatus: Open.#8 In QuMuLab/dsharp;Fix up Makefile
enhancementNew feature or requestNew feature or requestStatus: Open.#7 In QuMuLab/dsharp;Implement d-DNNF garbage collection
enhancementNew feature or requestNew feature or requestStatus: Open.#6 In QuMuLab/dsharp;Clean up code / comments / documentation
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#5 In QuMuLab/dsharp;Improve Smoothing Efficiency
enhancementNew feature or requestNew feature or requestStatus: Open.#3 In QuMuLab/dsharp;Fix indentation
enhancementNew feature or requestNew feature or requestStatus: Open.#2 In QuMuLab/dsharp;