noracode
diff --git a/‎logic.py
Lines changed: 2 additions & 2 deletions b/‎logic.py
Lines changed: 2 additions & 2 deletions
diff --git a/‎planning.py
Lines changed: 388 additions & 309 deletions b/‎planning.py
Lines changed: 388 additions & 309 deletions
diff --git a/‎requirements.txt
Lines changed: 1 addition & 0 deletions b/‎requirements.txt
Lines changed: 1 addition & 0 deletions
@@ -1243,11 +1243,11 @@ def plan_shot(self, current, goals, allowed):
 # ______________________________________________________________________________
 
 
-def SAT_plan(init, transition, goal, t_max, SAT_solver=dpll_satisfiable):
+def SATPlan(init, transition, goal, t_max, SAT_solver=dpll_satisfiable):
     """Converts a planning problem to Satisfaction problem by translating it to a cnf sentence.
     [Figure 7.22]
     >>> transition = {'A': {'Left': 'A', 'Right': 'B'}, 'B': {'Left': 'A', 'Right': 'C'}, 'C': {'Left': 'B', 'Right': 'C'}}
-    >>> SAT_plan('A', transition, 'C', 2) is None
+    >>> SATPlan('A', transition, 'C', 2) is None
     True
     """
 
 
@@ -1,3 +1,4 @@
+pytest
 networkx==1.11
 jupyter
 pandas
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+pytest`
`1`	`2`	`networkx==1.11`
`2`	`3`	`jupyter`
`3`	`4`	`pandas`