python-nnf
python-nnf copied to clipboard
QuMuLab
Manipulate NNF (Negation Normal Form) logical sentences
Results
12
python-nnf issues
Sort by
recently updated
recently updated
newest added
Either a modification of the `simplify` method or an extended version / separate: * If an internal node has both a literal and it's negation, replace it with `true` (if...
enhancement
Would be useful to check for various forms of BDD representation and/or exporting to a BDD format that can be used elsewhere with another library. It's a common enough point...
enhancement