added monkey & bananas planning problem

Author: dmeoli

logic.py

@@ -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
     """
 

planning.py

@@ -1,3 +1,4 @@
+pytest
 networkx==1.11
 jupyter
 pandas