Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 007e2d7

Browse files
ad71norvig
ad71
authored and
norvig
committed
Added to-cnf (#802)
1 parent fb71dc4 commit 007e2d7

File tree

2 files changed

+435
-3
lines changed

2 files changed

+435
-3
lines changed

‎README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -97,7 +97,7 @@ Here is a table of algorithms, the figure, name of the algorithm in the book and
9797
| 7.7 | Propositional Logic Sentence | `Expr` | [`utils.py`][utils] | Done | Included |
9898
| 7.10 | TT-Entails | `tt_entails` | [`logic.py`][logic] | Done | Included |
9999
| 7.12 | PL-Resolution | `pl_resolution` | [`logic.py`][logic] | Done | Included |
100-
| 7.14 | Convert to CNF | `to_cnf` | [`logic.py`][logic] | Done | |
100+
| 7.14 | Convert to CNF | `to_cnf` | [`logic.py`][logic] | Done | Included |
101101
| 7.15 | PL-FC-Entails? | `pl_fc_resolution` | [`logic.py`][logic] | Done | |
102102
| 7.17 | DPLL-Satisfiable? | `dpll_satisfiable` | [`logic.py`][logic] | Done | |
103103
| 7.18 | WalkSAT | `WalkSAT` | [`logic.py`][logic] | Done | |

0 commit comments

Comments
 (0)