* Update search.py

Commenting issues fixed (spacing and punctuation was off sometimes).

* Update agents.py

* Update canvas.py

Grammar

* Update grid.py

* Update learning.py

Added period

* Update logic.py

Fix quoting

* Update mdp.py

Fixed quoting

* Update nlp.py

Capitalization and punctuation fixes

* Update planning.py

* Update probability.py

* Update rl.py

'th' to 'the'

* Update search.py

* Update text.py

* Update utils.py

* Update utils.py

* Update utils.py

* Update learning.py

Typo

* Update utils.py

Style: delete excess parentheses. In some of these cases you need to read ahead to see that the paren is not introducing a tuple, for example.

* Replaced mean with standard lib function introduced in 3.4

* #TODO Replaced every with all

* Proper names for variables introduced in 2to3 conversion.

* modifies Fig. to Figure all over the repository

* fixed a small type in logic.py

Following a suggestion by C.G.Vedant, changed |implies| to |’==>’|

* removes obsolete Fig dictionary from utils.py

* modified rl notebook according to the new Figure conventions

* removes 'import Fig' and changed the names of Figures

* fixes a small error (by me) in executing the cells in rl notebook

from utils import implies

* Made Log Usage Consistent in text.py

* Added Explicit Imports from utils

* temporary fix for eliminate_implications

* Change from << to <==

* Fixed implies operator in SAT_plan

* changed Expr name to counter

* Fixed a typo in logic.py

* Added translate_to_SAT()

* extract solution from model

* added test cases

* removed debug code

Add InfixOps, refactor expo and Expr