Repository navigation

Fixes recursion exception in davisb_putnamb_logemann_loveland - #5647

Closed

spazm wants to merge 6 commits into

TheAlgorithms:masterfrom

spazm:fix-dpll-recursion

Commits on Oct 28, 2021
- dpll: add example case for recursion bug
  spazm
  committed
  92e83cf
- dpll: add comment for each step
  spazm
  committed
  809ec7c
- dpll: python check on array length
  spazm
  committed
  a6ab187
- dpll: fixes algo bug, recursion both went down False arm
  spazm
  committed
  fe86ce0
- dpll: Fixes recursion problem by checking if unit_symbol remains in unevaluated symbols
  spazm
  committed
  6197fc7
- dpll: uses descriptive var names to show intent. pythonic copy
  spazm
  committed
  a42c6a4