Code

Fix typo in DPLL file name#10723

Code

Merged

cclauss merged 4 commits intoTheAlgorithms:masterTheAlgorithms/Python:masterfrom

tianyizheng02:fix-dpll-nametianyizheng02/Python:fix-dpll-nameCopy head branch name to clipboard

Oct 20, 2023

Commits

Commits on Oct 20, 2023

• Fix DPLL file name

  tianyizheng02

  committed
  b33cf71

  Copy full SHA for b33cf71

• Merge branch 'TheAlgorithms:master' into fix-dpll-name

  tianyizheng02

  authored
  efb34aa

  Copy full SHA for efb34aa

• Merge branch 'TheAlgorithms:master' into fix-dpll-name

  tianyizheng02

  authored
  f7791c8

  Copy full SHA for f7791c8

• updating DIRECTORY.md

  

  github-actions

  authored and

  github-actions

  committed
  89ef482

  Copy full SHA for 89ef482