Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

P

ProB 2 Jupyter Kernel
- Activity
- Members
- Labels
- Releases
- Model registry
- Environments
- Incidents

Snippets Groups Projects

57a7f3e1

Commit 57a7f3e1 authored 5 years ago by dgelessus

Downloads
- Patches
- Plain Diff

Rerun all the notebooks

parent dab5ba47

No related branches found

No related tags found

No related merge requests found

Changes 9

Expand all Show whitespace changes

Inline Side-by-side

Showing

notebooks/experiments/DeliveryExercise.ipynb 34 additions, 31 deletions

notebooks/experiments/DeliveryExercise.ipynb
notebooks/experiments/SMT_Translation_Experiments.ipynb 12 additions, 12 deletions

notebooks/experiments/SMT_Translation_Experiments.ipynb
notebooks/manual/ExternalFunctions.ipynb 507 additions, 503 deletions

notebooks/manual/ExternalFunctions.ipynb
notebooks/models/Jars_DieHard_Puzzle.ipynb 78 additions, 90 deletions

notebooks/models/Jars_DieHard_Puzzle.ipynb
notebooks/tests/chr_tests.ipynb 11 additions, 6 deletions

notebooks/tests/chr_tests.ipynb
notebooks/tests/external_functions.ipynb 10 additions, 10 deletions

notebooks/tests/external_functions.ipynb
notebooks/tests/version.ipynb 2 additions, 2 deletions

notebooks/tests/version.ipynb
notebooks/tutorials/Functional_Programming_in_B.ipynb 10 additions, 10 deletions

notebooks/tutorials/Functional_Programming_in_B.ipynb
notebooks/tutorials/prob_solver_intro.ipynb 4 additions, 4 deletions

notebooks/tutorials/prob_solver_intro.ipynb

with 668 additions and 668 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment