Commits · master · general / stups / ProB2 Jupyter Notebooks

11 Mar, 2022 1 commit
- add new icase regular expression functions and LibraryBits · 3488defc
  Michael Leuschel authored Mar 11, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  3488defc
24 Nov, 2021 2 commits
- add short explanation · f937a840
  Michael Leuschel authored Nov 24, 2021
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  f937a840
- add another puzzle · a9d035d4
  Michael Leuschel authored Nov 24, 2021
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  a9d035d4
18 Nov, 2021 1 commit
- add more desriptions about READ_XML · cba1bc58
  Michael Leuschel authored Nov 18, 2021
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  cba1bc58
26 May, 2020 1 commit
- add all solutions machine · 93480ac5
  Michael Leuschel authored May 26, 2020
  
  93480ac5
22 May, 2020 1 commit
- minor change · aeb9afaa
  Michael Leuschel authored May 22, 2020
  
  aeb9afaa
21 May, 2020 1 commit
- add miracle Sudoku example · 1e2d3db5
  Michael Leuschel authored May 21, 2020
  
  1e2d3db5
10 May, 2020 2 commits
- fix some typos · e1c25d6c
  miwer106 authored May 10, 2020
  
  e1c25d6c
- add crack the code puzzle · 54b632e8
  miwer106 authored May 10, 2020
  
  54b632e8
03 May, 2020 2 commits
- add external function descriptions · 4b3b5e57
  Michael Leuschel authored May 03, 2020
  
  4b3b5e57
- add some new external functions · 24fed54d
  Michael Leuschel authored May 03, 2020
  
  24fed54d
16 Apr, 2020 1 commit
- Install GraphViz on Binder to allow using Dot visualisations · 2b73947e
  dgelessus authored Apr 16, 2020
  
  2b73947e
15 Apr, 2020 3 commits
- add goto -1 before setup constants · 88d935a3
  Michael Leuschel authored Apr 15, 2020
  
  88d935a3
- restructure examples · 9bdd050c
  Michael Leuschel authored Apr 15, 2020
  
  9bdd050c
- Add Binder configuration (currently untested) · 67e3541e
  dgelessus authored Apr 15, 2020
  
  67e3541e
26 Mar, 2020 2 commits
- refactor some notebooks and open folder for delayed notebooks · 8521544f
  miwer106 authored Mar 26, 2020
  
  8521544f
- add rush hour puzzle, sudoku puzzle and first try for jobs puzzle, they are... · 83dcdd35
  miwer106 authored Mar 26, 2020
```
add rush hour puzzle, sudoku puzzle and first try for jobs puzzle, they are not completed MC missing
```
  83dcdd35
27 Feb, 2020 1 commit
- Add Peaceable Armies of Queens Example · d83d8673
  miwer106 authored Feb 27, 2020
  
  d83d8673
20 Feb, 2020 3 commits
- start nine prisoners · 7ce00f0b
  penguinn authored Feb 20, 2020
  
  7ce00f0b
- Add Gilbreath Card Trick · 40aa6024
  penguinn authored Feb 20, 2020
  
  40aa6024
- Add Euler Problem · c06ddbb3
  penguinn authored Feb 20, 2020
  
  c06ddbb3
06 Jan, 2020 1 commit
- Add Euler Problem · 0b3aa2c3
  penguinn authored Jan 06, 2020
  
  0b3aa2c3
10 Dec, 2019 2 commits
- Merge branch 'master' of gitlab.cs.uni-duesseldorf.de:stups/prob/prob2-jupyter-notebooks · 382b85f5
  penguinn authored Dec 10, 2019
  
  382b85f5
- Add more puzzles and refactor · c8ab5eac
  penguinn authored Dec 10, 2019
  
  c8ab5eac
04 Dec, 2019 1 commit
- Add .gitignore and remove generated files · 6d9b9466
  dgelessus authored Dec 04, 2019
  
  6d9b9466
10 Oct, 2019 2 commits
- untrack two files · 1cbe29fb
  Michael Leuschel authored Oct 10, 2019
  
  1cbe29fb
- remove hard coded path to dot · 9a575edf
  Michael Leuschel authored Oct 10, 2019
  
  9a575edf
16 Sep, 2019 2 commits
- Add N-Bishops · 468fc17e
  penguinn authored Sep 16, 2019
  
  468fc17e
- Update notebooks · ce057a5e
  penguinn authored Sep 16, 2019
  
  ce057a5e
04 Jul, 2019 1 commit
- Add Overview · 93c0b96a
  penguinn authored Jul 04, 2019
  
  93c0b96a
02 May, 2019 1 commit
- Initial commit · 8c1dd15c
  penguinn authored May 02, 2019
  
  8c1dd15c