Add Implication and Remove Nesting#27

Merged

haz merged 18 commits intoQuMuLab:masterfrom

beckydvn:add-implication-remove-nesting

Nov 23, 2021

Commits on Sep 19, 2021

add __rshift__
beckydvn
committed
add docs
beckydvn
committed
fix nesting issue
beckydvn
committed
allow for two And's to be joined
beckydvn
committed

Commits on Sep 21, 2021

convert to flatten function
beckydvn
committed
add flatten to __all__
beckydvn
committed
flatten add children bug fix
beckydvn
committed
make operator type the type of the current nnf
beckydvn
committed
remove extra testing
beckydvn
committed
update children recursively, simplify algorithm
beckydvn
committed
clean up
beckydvn
committed

Commits on Sep 22, 2021

remove recursion so only 1 level is flattened
beckydvn
committed
add to imports
beckydvn
committed
optionally remove nesting when operator is used
beckydvn
committed
remove old function
beckydvn
committed

Commits on Sep 27, 2021

make requested changes
beckydvn
committed

Commits on Oct 23, 2021

fix flake8
beckydvn
committed

Commits on Oct 25, 2021

Update test_nnf.py config settings

beckydvn
and
blyxxyz
authored