User contributions for Michael Leuschel

10:1010:10, 23 July 2014 diff hist −308 Rush Hour XTL No edit summary
09:4909:49, 23 July 2014 diff hist +3,132 Rush Hour XTL No edit summary
08:2708:27, 23 July 2014 diff hist +14 Rush Hour Puzzle No edit summary
08:2608:26, 23 July 2014 diff hist +100 Other languages No edit summary
08:2608:26, 23 July 2014 diff hist +55 Rush Hour XTL No edit summary
08:2508:25, 23 July 2014 diff hist +137 Other languages No edit summary
08:2308:23, 23 July 2014 diff hist 0 N File:ProB RushHour XTL Screenshot.png No edit summary current
08:2208:22, 23 July 2014 diff hist +340 Rush Hour XTL No edit summary
08:2008:20, 23 July 2014 diff hist +6,220 N Rush Hour XTL Created page with 'This case studies tackles encoding the [http://en.wikipedia.org/wiki/Rush_Hour_(board_game) rush hour board game] in which cars are packed on a 6-by-6 grid and can either move ho…'
08:1708:17, 23 July 2014 diff hist +148 Rush Hour Puzzle No edit summary

13:1013:10, 20 July 2014 diff hist +54 Fibonacci Numbers with Automatic Dynamic Programming No edit summary
13:0913:09, 20 July 2014 diff hist +1,186 N Fibonacci Numbers with Automatic Dynamic Programming Created page with 'In this example we show how one can encode the Fibonacci problem in such a way that you get dynamic programming automatically when using ProB to solve the encoding: <pre> MACHIN…'
13:0713:07, 20 July 2014 diff hist +1 Euler Problem 67 - Maximum Path Sum II →The solution in B
13:0613:06, 20 July 2014 diff hist +105 Euler Problem 67 - Maximum Path Sum II No edit summary
13:0413:04, 20 July 2014 diff hist +623 Euler Problem 67 - Maximum Path Sum II No edit summary
10:5710:57, 20 July 2014 diff hist +20,509 Euler Problem 67 - Maximum Path Sum II No edit summary
10:5510:55, 20 July 2014 diff hist +1,659 N Euler Problem 67 - Maximum Path Sum II Created page with 'From [https://projecteuler.net/problem=67 Euler Problem 67]: By starting at the top of the triangle below and moving to adjacent numbers on the row below, the maximum total from…'
10:5310:53, 20 July 2014 diff hist +45 User Manual →Sample Models

16:1216:12, 10 July 2014 diff hist +12 Sudoku Solved in the ProB REPL No edit summary
16:1116:11, 10 July 2014 diff hist +292 Sudoku Solved in the ProB REPL No edit summary
16:0916:09, 10 July 2014 diff hist +7,741 N Sudoku Solved in the ProB REPL Created page with ' For this example we try and solve a Sudoku using the REPL (Read-Eval-Print-Loop) of ProB only, without constructing any B machine. The REPL can either be started using probcli's…'
16:0016:00, 10 July 2014 diff hist +37 User Manual →Sample Models