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
..
2020-05-22 08:10:11 +02:00
2020-03-04 13:40:28 +01:00
2019-10-05 10:14:13 +05:00
2020-11-08 18:26:22 +01:00
2020-05-22 08:10:11 +02:00
2020-10-07 20:22:56 +08:00
2020-06-16 10:09:19 +02:00
2020-06-16 10:09:19 +02:00
2020-10-20 12:38:49 +02:00
2020-06-16 10:09:19 +02:00
2019-10-29 11:22:49 +01:00
2020-08-06 17:50:23 +02:00
2020-05-22 08:10:11 +02:00
2020-07-06 09:44:19 +02:00
2019-10-05 10:14:13 +05:00
2020-09-23 13:30:13 +02:00
2020-09-23 21:55:51 +02:00
2016-09-06 18:04:53 +05:30