DPLL algorithm (#3866)
DPLL algorithm (#3866)

* DPLL algorithm

* Corrections complete

* Formatting

* Codespell hook

* Corrections part 2

* Corrections v2

* Corrections v3

* Update and rename dpll.py to davis–putnam–logemann–loveland.py

Co-authored-by: Christian Clauss <585dd401264c1e46d17ebec1862e5d2a9b6a6c5d@me.com>
TheAlgorithms/Python