-
- Downloads
Merge branch 'master' of gitlab.cs.uni-duesseldorf.de:dgelessus/prob2-jupyter-kernel
Showing
- README.md 34 additions, 0 deletionsREADME.md
- build.gradle 3 additions, 3 deletionsbuild.gradle
- notebooks/manual/ExternalFunctions.ipynb 7 additions, 74 deletionsnotebooks/manual/ExternalFunctions.ipynb
- notebooks/models/scheduler.ipynb 0 additions, 43 deletionsnotebooks/models/scheduler.ipynb
- notebooks/tests/animate.ipynb 2 additions, 96 deletionsnotebooks/tests/animate.ipynb
- notebooks/tests/chr_tests.ipynb 9 additions, 21 deletionsnotebooks/tests/chr_tests.ipynb
- notebooks/tests/eval.ipynb 7 additions, 24 deletionsnotebooks/tests/eval.ipynb
- notebooks/tests/external_functions.ipynb 5 additions, 32 deletionsnotebooks/tests/external_functions.ipynb
- notebooks/tests/groovy.ipynb 7 additions, 0 deletionsnotebooks/tests/groovy.ipynb
- notebooks/tests/help.ipynb 128 additions, 2 deletionsnotebooks/tests/help.ipynb
- notebooks/tests/load_cell.ipynb 0 additions, 24 deletionsnotebooks/tests/load_cell.ipynb
- notebooks/tests/load_file.ipynb 0 additions, 24 deletionsnotebooks/tests/load_file.ipynb
- notebooks/tests/pref.ipynb 8 additions, 0 deletionsnotebooks/tests/pref.ipynb
- notebooks/tests/solve.ipynb 11 additions, 87 deletionsnotebooks/tests/solve.ipynb
- notebooks/tests/table.ipynb 0 additions, 34 deletionsnotebooks/tests/table.ipynb
- notebooks/tests/time.ipynb 4 additions, 4 deletionsnotebooks/tests/time.ipynb
- notebooks/tests/version.ipynb 9 additions, 2 deletionsnotebooks/tests/version.ipynb
- notebooks/tutorials/Functional_Programming_in_B.ipynb 16 additions, 30 deletionsnotebooks/tutorials/Functional_Programming_in_B.ipynb
- notebooks/tutorials/prob_solver_intro.ipynb 6 additions, 13 deletionsnotebooks/tutorials/prob_solver_intro.ipynb
- src/main/java/de/prob2/jupyter/ProBKernel.java 2 additions, 0 deletionssrc/main/java/de/prob2/jupyter/ProBKernel.java
Loading
Please register or sign in to comment