User contributions for Michael Leuschel

08:1408:14, 12 March 2014 diff hist 0 N File:Disprover proof control.png No edit summary current
08:1308:13, 12 March 2014 diff hist +38 Tutorial Disprover →How to use it

07:0607:06, 4 March 2014 diff hist +45 Links →Tools using ProB

08:2708:27, 21 February 2014 diff hist +10 m ABZ14 No edit summary
08:2608:26, 21 February 2014 diff hist +150 ABZ14 No edit summary

15:5515:55, 20 February 2014 diff hist +28 Peaceable Armies of Queens No edit summary
15:5415:54, 20 February 2014 diff hist +55 N-Queens No edit summary current
15:5215:52, 20 February 2014 diff hist +441 N-Queens No edit summary
15:4615:46, 20 February 2014 diff hist 0 N File:ProB Queens 40 Screenshot.png No edit summary current
15:4615:46, 20 February 2014 diff hist +1,685 N N-Queens Created page with ' The N-Queens is a famous constraint solving benchmark puzzle. It is a generalisation of the original [http://en.wikipedia.org/wiki/Eight_queens_puzzle eight queens puzzle], wher…'
15:3815:38, 20 February 2014 diff hist +15 ProB Examples No edit summary

14:1914:19, 17 February 2014 diff hist +131 Links →Books

07:3707:37, 25 January 2014 diff hist +99 The ProB Animator and Model Checker →Implementation
07:3407:34, 25 January 2014 diff hist +15 The ProB Animator and Model Checker →Features
07:3407:34, 25 January 2014 diff hist +24 The ProB Animator and Model Checker →Features
07:3207:32, 25 January 2014 diff hist +121 The ProB Animator and Model Checker →Implementation
07:2807:28, 25 January 2014 diff hist −846 The ProB Animator and Model Checker No edit summary
07:2507:25, 25 January 2014 diff hist +1,723 Download No edit summary
07:2207:22, 25 January 2014 diff hist +73 Links No edit summary
07:1907:19, 25 January 2014 diff hist +33 User Manual →Sample Models
07:1707:17, 25 January 2014 diff hist +31 Using ProB with KODKOD No edit summary
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

User contributions for Michael Leuschel

12 March 2014

4 March 2014

21 February 2014

20 February 2014

17 February 2014

25 January 2014

16 December 2013

15 December 2013