Added SATPlan to logic.ipynb#857

norvig merged 2 commits into

aimacode:masteraimacode/aima-python:masterfrom

nouman-10:aima_1nouman-10/aima-python:aima_1Copy head branch name to clipboard