Shivanirudh
|
eab6b70e0a
|
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 <cclauss@me.com>
|
2020-11-08 18:26:22 +01:00 |
|