User contributions for Michael Leuschel

23 July 2014

• 10:4010:40, 23 July 2014 diff hist +24 Using the Command-Line Version of ProB No edit summary
• 10:3910:39, 23 July 2014 diff hist +125 Rush Hour XTL No edit summary
• 10:3710:37, 23 July 2014 diff hist +22 Rush Hour Puzzle No edit summary
• 10:2910:29, 23 July 2014 diff hist +1,077 Rush Hour Puzzle No edit summary
• 10:2510:25, 23 July 2014 diff hist +808 Rush Hour XTL No edit summary
• 10:2210:22, 23 July 2014 diff hist +502 Rush Hour Puzzle No edit summary
• 10:2010:20, 23 July 2014 diff hist +327 Rush Hour XTL No edit summary
• 10:1410:14, 23 July 2014 diff hist +191 Rush Hour XTL No edit summary
• 10:1010:10, 23 July 2014 diff hist −144 Rush Hour XTL No edit summary
• 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

22 July 2014

• 14:5914:59, 22 July 2014 diff hist +81 Rush Hour Puzzle No edit summary
• 14:5714:57, 22 July 2014 diff hist +4 Rush Hour Puzzle No edit summary
• 14:5614:56, 22 July 2014 diff hist +97 Rush Hour Puzzle No edit summary
• 14:5414:54, 22 July 2014 diff hist +390 Rush Hour Puzzle No edit summary
• 14:4914:49, 22 July 2014 diff hist +269 Rush Hour Puzzle No edit summary
• 14:4714:47, 22 July 2014 diff hist 0 Rush Hour Puzzle No edit summary
• 14:4614:46, 22 July 2014 diff hist 0 N File:ProB RushHour v2 TLC Dialog.png No edit summary current
• 14:4614:46, 22 July 2014 diff hist 0 N File:ProB RushHour v2 Screenshot.png No edit summary current
• 14:4614:46, 22 July 2014 diff hist +2,616 Rush Hour Puzzle No edit summary
• 11:0311:03, 22 July 2014 diff hist +165 Rush Hour Puzzle No edit summary
• 11:0211:02, 22 July 2014 diff hist +3,072 Rush Hour Puzzle No edit summary

20 July 2014

• 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

19 July 2014

• 07:1607:16, 19 July 2014 diff hist −10 Links No edit summary

13 July 2014

• 10:5710:57, 13 July 2014 diff hist +82 ProB Examples No edit summary
• 10:5710:57, 13 July 2014 diff hist +15 User Manual →Sample Models
• 09:0709:07, 13 July 2014 diff hist 0 ProB Tcl/Tk Architecture →How to add a simple menu command current
• 09:0609:06, 13 July 2014 diff hist 0 N File:ProB TclTk CountVarMenu.png No edit summary current
• 09:0609:06, 13 July 2014 diff hist +100 ProB Tcl/Tk Architecture →How to add a simple menu command
• 06:4406:44, 13 July 2014 diff hist +363 ProB Tcl/Tk Architecture →Some useful ProB Tcl/Tk procedures
• 06:3906:39, 13 July 2014 diff hist +505 ProB Tcl/Tk Architecture No edit summary
• 06:3306:33, 13 July 2014 diff hist +1,801 ProB Tcl/Tk Architecture No edit summary
• 06:1706:17, 13 July 2014 diff hist +76 ProB Tcl/Tk Architecture →TheProB Tcl/Tk cross-language architecture
• 06:1606:16, 13 July 2014 diff hist +1,490 N ProB Tcl/Tk Architecture Created page with 'Category:Developer Manual __NOTOC__ === TheProB Tcl/Tk cross-language architecture === The ProB Tcl/Tk contains a mixture of Prolog and Tcl/Tk source code. The core (i.e., …'
• 06:0806:08, 13 July 2014 diff hist +124 Developer Manual No edit summary