User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,313 edits. Account created on 18 January 2010.

07:1607:16, 25 January 2014 diff hist +2 Peaceable Armies of Queens →Checking
07:1607:16, 25 January 2014 diff hist −2 Peaceable Armies of Queens No edit summary
07:1107:11, 25 January 2014 diff hist +234 Peaceable Armies of Queens →Optimization
07:0807:08, 25 January 2014 diff hist 0 N File:ProB PeaceableQueens 8 9 Opt Screenshot.png No edit summary current
07:0807:08, 25 January 2014 diff hist 0 N File:ProB PeaceableQueens 8 9 Screenshot.png No edit summary current
07:0807:08, 25 January 2014 diff hist −188 Peaceable Armies of Queens →Optimization
07:0707:07, 25 January 2014 diff hist +3,881 Peaceable Armies of Queens No edit summary
06:5906:59, 25 January 2014 diff hist +1,337 Peaceable Armies of Queens No edit summary
06:5206:52, 25 January 2014 diff hist +3,013 N Peaceable Armies of Queens Created page with 'I found this challenging constraint programming problem in the following paper: * B. M. Smith, K. E. Petrie, and I. P. Gent. Models and symmetry breaking for peaceable armies of …'
06:4606:46, 25 January 2014 diff hist +33 ProB Examples No edit summary
06:4206:42, 25 January 2014 diff hist +285 Using ProB with KODKOD No edit summary

16:2716:27, 16 December 2013 diff hist +258 Using ProB with Atelier B →Extra Features of ProB
16:1816:18, 16 December 2013 diff hist +201 Current Limitations No edit summary
16:1816:18, 16 December 2013 diff hist +200 Using ProB with Atelier B →Extra Features of ProB
16:1516:15, 16 December 2013 diff hist +338 Current Limitations No edit summary

15:0715:07, 15 December 2013 diff hist +210 Tutorial Animation Tips →Executing an Operation by Predicate
15:0615:06, 15 December 2013 diff hist 0 N File:ProB Lift ExecuteOperation Dialog Pred.png No edit summary current
15:0515:05, 15 December 2013 diff hist +205 Tutorial Animation Tips →Executing an Operation by Predicate
15:0315:03, 15 December 2013 diff hist 0 N File:ProB Lift ExecuteOperationMenu.png No edit summary current
15:0315:03, 15 December 2013 diff hist +24 Tutorial Animation Tips No edit summary
15:0115:01, 15 December 2013 diff hist 0 N File:ProB Lift OpPane WithJump Exec98.png No edit summary current
15:0115:01, 15 December 2013 diff hist 0 N File:ProB Lift ExecuteOperation Dialog.png No edit summary current
15:0015:00, 15 December 2013 diff hist 0 N File:ProB ExecuteOperation.png No edit summary current
15:0015:00, 15 December 2013 diff hist +582 Tutorial Animation Tips No edit summary
14:5514:55, 15 December 2013 diff hist 0 N File:ProB Lift OpPane WithJump101.png No edit summary current
14:5514:55, 15 December 2013 diff hist 0 N File:ProB Lift MAX OPERATIONS.png No edit summary current
14:5514:55, 15 December 2013 diff hist 0 N File:ProB LiftWithJump.png No edit summary current
14:5414:54, 15 December 2013 diff hist +1,170 N Tutorial Animation Tips Created page with 'Category:User Manual Make sure you have the Lift.mch model from the first part of the tutorial: Starting ProB and first animation steps. == Install…'
14:4614:46, 15 December 2013 diff hist +116 User Manual →Content of this handbook
14:4414:44, 15 December 2013 diff hist +92 Tutorial No edit summary

10:5010:50, 18 November 2013 diff hist −65 The ProB Animator and Model Checker No edit summary

13:2513:25, 11 November 2013 diff hist +9 ProB 2.0 within Rodin and a HTML Visualization Example →Import the Lift Project
13:2513:25, 11 November 2013 diff hist +8 ProB 2.0 within Rodin and a HTML Visualization Example →Import the Lift Project
13:2413:24, 11 November 2013 diff hist −17 ProB 2.0 within Rodin and a HTML Visualization Example →Import the Lift Project
13:2413:24, 11 November 2013 diff hist 0 N File:Lift.zip No edit summary
13:2413:24, 11 November 2013 diff hist +1 ProB 2.0 within Rodin and a HTML Visualization Example →Import the Lift Project
13:2313:23, 11 November 2013 diff hist +21 ProB 2.0 within Rodin and a HTML Visualization Example No edit summary
08:5308:53, 11 November 2013 diff hist −1 ProB 2.0 within Rodin and a HTML Visualization Example →Open HTML Visualization
08:5308:53, 11 November 2013 diff hist +2 ProB 2.0 within Rodin and a HTML Visualization Example →Open HTML Visualization
08:5308:53, 11 November 2013 diff hist 0 ProB 2.0 within Rodin and a HTML Visualization Example →Start Animating the Lift
08:5308:53, 11 November 2013 diff hist 0 N File:MLiftEventsView.png No edit summary current
08:5208:52, 11 November 2013 diff hist 0 N File:MLiftNavigateHTMLVisualization2.png No edit summary current
08:5208:52, 11 November 2013 diff hist +85 ProB 2.0 within Rodin and a HTML Visualization Example →Open HTML Visualization
08:5108:51, 11 November 2013 diff hist 0 N File:MLiftNavigateHTMLVisualization.png No edit summary current
08:5108:51, 11 November 2013 diff hist +169 ProB 2.0 within Rodin and a HTML Visualization Example →Open HTML Visualization
08:4908:49, 11 November 2013 diff hist +39 ProB 2.0 within Rodin and a HTML Visualization Example →Open HTML Visualization
08:4908:49, 11 November 2013 diff hist +8 ProB 2.0 within Rodin and a HTML Visualization Example →Start Animating the Lift

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Michael_Leuschel"