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)
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy