Skip to content

Commit 954f50c

Browse files
nouman-10norvig
nouman-10
authored and
norvig
committed
Added SATPlan to logic.ipynb (aimacode#857)
* Added SATPlan to logic.ipynb * Updated README.md
1 parent 9906b7a commit 954f50c

File tree

2 files changed

+301
-57
lines changed

2 files changed

+301
-57
lines changed

‎README.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -102,7 +102,7 @@ Here is a table of algorithms, the figure, name of the algorithm in the book and
102102
| 7.17 | DPLL-Satisfiable? | `dpll_satisfiable` | [`logic.py`][logic] | Done | Included |
103103
| 7.18 | WalkSAT | `WalkSAT` | [`logic.py`][logic] | Done | Included |
104104
| 7.20 | Hybrid-Wumpus-Agent | `HybridWumpusAgent` | | | |
105-
| 7.22 | SATPlan | `SAT_plan` | [`logic.py`][logic] | Done | |
105+
| 7.22 | SATPlan | `SAT_plan` | [`logic.py`][logic] | Done | Included |
106106
| 9 | Subst | `subst` | [`logic.py`][logic] | Done | |
107107
| 9.1 | Unify | `unify` | [`logic.py`][logic] | Done | Included |
108108
| 9.3 | FOL-FC-Ask | `fol_fc_ask` | [`logic.py`][logic] | Done | Included |

0 commit comments

Comments
 (0)