Added DPLL and WalkSAT sections (#823)

* Added dpll section * Updated README.md * Added WalkSAT section * Updated README.md
aimacode · Mar 10, 2018 · c908058 · c908058
1 parent 4cc3509
commit c908058
Show file tree

Hide file tree

Showing 2 changed files with 850 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -98,9 +98,9 @@ Here is a table of algorithms, the figure, name of the algorithm in the book and
 | 7.10   | TT-Entails                        | `tt_entails`                  | [`logic.py`][logic]             | Done | Included |
 | 7.12   | PL-Resolution                     | `pl_resolution`               | [`logic.py`][logic]             | Done | Included |
 | 7.14   | Convert to CNF                    | `to_cnf`                      | [`logic.py`][logic]             | Done | Included |
-| 7.15   | PL-FC-Entails?                    | `pl_fc_resolution`            | [`logic.py`][logic]             | Done |          |
-| 7.17   | DPLL-Satisfiable?                 | `dpll_satisfiable`            | [`logic.py`][logic]             | Done |          |
-| 7.18   | WalkSAT                           | `WalkSAT`                     | [`logic.py`][logic]             | Done |          |
+| 7.15   | PL-FC-Entails?                    | `pl_fc_resolution`            | [`logic.py`][logic]             | Done | Included |
+| 7.17   | DPLL-Satisfiable?                 | `dpll_satisfiable`            | [`logic.py`][logic]             | Done | Included |
+| 7.18   | WalkSAT                           | `WalkSAT`                     | [`logic.py`][logic]             | Done | Included |
 | 7.20   | Hybrid-Wumpus-Agent               | `HybridWumpusAgent`           |                                 |      |          |
 | 7.22   | SATPlan                           | `SAT_plan`                    | [`logic.py`][logic]             | Done |          |
 | 9      | Subst                             | `subst`                       | [`logic.py`][logic]             | Done |          |