* 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

* 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