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
..
2019-10-29 14:46:29 +08:00
2020-10-07 20:22:56 +08:00
2020-04-07 01:00:10 +02:00
2020-06-25 19:15:30 +02:00
2020-06-25 19:15:30 +02:00
2019-10-29 11:22:49 +01:00
2016-09-06 18:04:53 +05:30