Rerun all of the notebooks

notebooks/experiments/SMT_Translation_Experiments.ipynb

notebooks/manual/ExternalFunctions.ipynb

notebooks/models/scheduler.ipynb

notebooks/presentations/BvsLP.ipynb

notebooks/presentations/LPOP18.ipynb

notebooks/presentations/SETS_RODIN18.ipynb

notebooks/presentations/SlotSolverKodkodTest2.ipynb

notebooks/tests/animate.ipynb

notebooks/tests/assert.ipynb

notebooks/tests/chr_tests.ipynb

notebooks/tests/dot.ipynb

notebooks/tests/eval.ipynb

notebooks/tests/external_functions.ipynb

notebooks/tests/groovy.ipynb

notebooks/tests/help.ipynb

notebooks/tests/load_cell.ipynb

notebooks/tests/pref.ipynb

notebooks/tests/prettyprint.ipynb

notebooks/tests/render.ipynb

notebooks/tests/show.ipynb