-
Notifications
You must be signed in to change notification settings - Fork 9
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Bad model count for tautologies
bugSomething isn't workingSomething isn't workingStatus: Open.#30 In 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.#28 In 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.#26 In QuMuLab/python-nnf;Dynamic decisions based on size for to_CNF
enhancementNew feature or requestNew feature or requestStatus: Open.#24 In 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.#23 In QuMuLab/python-nnf;Implement naive
to_CNFenhancementNew feature or requestNew feature or requestStatus: Open.#21 In QuMuLab/python-nnf;Semantic Emulation
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#18 In 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.#13 In 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.#11 In QuMuLab/python-nnf;Advanced Simplification
enhancementNew feature or requestNew feature or requestStatus: Open.#8 In QuMuLab/python-nnf;BDD Functionality
enhancementNew feature or requestNew feature or requestStatus: Open.#2 In QuMuLab/python-nnf;Very slow equality checks for certain sentences
enhancementNew feature or requestNew feature or requestStatus: Open.#1 In QuMuLab/python-nnf;