Commit 954f50c6 rédigé par Nouman Ahmed's avatar Nouman Ahmed Commit de Peter Norvig
Parcourir les fichiers

Added SATPlan to logic.ipynb (#857)

* Added SATPlan to logic.ipynb

* Updated README.md
parent 9906b7a2
Prend en charge le Markdown
0% ou .
You are about to add 0 people to the discussion. Proceed with caution.
Terminez d'abord l'édition de ce message !
Veuillez vous inscrire ou vous pour commenter