Uh oh!
There was an error while loading. Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork 9
All issues
Issue creation is restricted in this repository
Issues
is:issuestate:open
is:issue state:open
Search results
Bad model count for tautologies
bugSomething isn't workingSomething isn't workingStatus: Open.#30In QuMuLab/python-nnf;Implement a d4 wrapper
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#28In QuMuLab/python-nnf;Full marginal computation
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#26In QuMuLab/python-nnf;Dynamic decisions based on size for to_CNF
enhancementNew feature or requestNew feature or requestStatus: Open.#24In QuMuLab/python-nnf;Automatic conjunct/disjunct simplification
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomerswontfixThis will not be worked onThis will not be worked onStatus: Open.#23In QuMuLab/python-nnf;Implement naive
to_CNFenhancementNew feature or requestNew feature or requestStatus: Open.#21In QuMuLab/python-nnf;Semantic Emulation
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#18In QuMuLab/python-nnf;More testing/example data
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#13In QuMuLab/python-nnf;Fix up comparisons with disperate variable sets
bugSomething isn't workingSomething isn't workinghelp wantedExtra attention is neededExtra attention is neededStatus: Open.#11In QuMuLab/python-nnf;Advanced Simplification
enhancementNew feature or requestNew feature or requestStatus: Open.#8In QuMuLab/python-nnf;BDD Functionality
enhancementNew feature or requestNew feature or requestStatus: Open.#2In QuMuLab/python-nnf;Very slow equality checks for certain sentences
enhancementNew feature or requestNew feature or requestStatus: Open.#1In QuMuLab/python-nnf;