Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
P
ProB2 Jupyter Notebooks
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Iterations
Wiki
Requirements
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Test cases
Artifacts
Deploy
Releases
Package registry
Container registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Code review analytics
Issue analytics
Insights
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
general
stups
ProB2 Jupyter Notebooks
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
c8ab5eac65c27f91954688d29bb603ef5bb150a7
Select Git revision
Branches
1
master
default
1 result
Begin with the selected commit
Created with Raphaël 2.2.0
10
May
17
Oct
11
Mar
24
Nov
18
26
May
22
21
10
3
16
Apr
15
26
Mar
27
Feb
20
6
Jan
10
Dec
4
10
Oct
16
Sep
4
Jul
2
May
add note about CText XML records
master
master
update pdf
fix typo and add comments
update notebook
add notebooks
add example
add new icase regular expression functions and LibraryBits
add short explanation
add another puzzle
add more desriptions about READ_XML
add all solutions machine
minor change
add miracle Sudoku example
fix some typos
add crack the code puzzle
add external function descriptions
add some new external functions
Install GraphViz on Binder to allow using Dot visualisations
add goto -1 before setup constants
restructure examples
Add Binder configuration (currently untested)
refactor some notebooks and open folder for delayed notebooks
add rush hour puzzle, sudoku puzzle and first try for jobs puzzle, they are not completed MC missing
Add Peaceable Armies of Queens Example
start nine prisoners
Add Gilbreath Card Trick
Add Euler Problem
Add Euler Problem
Merge branch 'master' of gitlab.cs.uni-duesseldorf.de:stups/prob/prob2-jupyter-notebooks
Add more puzzles and refactor
Add .gitignore and remove generated files
untrack two files
remove hard coded path to dot
Add N-Bishops
Update notebooks
Add Overview
Initial commit
Loading