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,394 edits. Account created on 18 January 2010.

06:5006:50, 31 March 2026 diff hist +270 Running ProB from source →Running the Prolog Tests current

10:1810:18, 27 March 2026 diff hist −11 Debugging →Debugging individual operation executions current
10:1810:18, 27 March 2026 diff hist +612 Debugging →Debugging Animation or Execution

11:3411:34, 26 March 2026 diff hist +24 Running ProB from source →Building ProB Extensions
08:3708:37, 26 March 2026 diff hist +45 Running ProB from source →Building ProB Extensions
08:3608:36, 26 March 2026 diff hist +203 Running ProB from source →Building ProB Extensions

12:5212:52, 20 March 2026 diff hist +400 SimB →Direct Activation current
09:1509:15, 20 March 2026 diff hist +27 SimB →Using SimB
09:1509:15, 20 March 2026 diff hist +332 SimB →Using SimB
09:1209:12, 20 March 2026 diff hist +3 SimB →Interactive Elements in SimB
09:0909:09, 20 March 2026 diff hist −212 SimB →Direct Activation
09:0209:02, 20 March 2026 diff hist −132 SimB →Probabilistic Choice
09:0009:00, 20 March 2026 diff hist +8 SimB →Using SimB
09:0009:00, 20 March 2026 diff hist +580 SimB →Using SimB

13:4313:43, 19 March 2026 diff hist +358 B2ASP No edit summary current
13:3913:39, 19 March 2026 diff hist +99 B2ASP No edit summary
13:3813:38, 19 March 2026 diff hist +2,438 B2ASP →B2ASP (clingo) for PROPERTIES
13:3513:35, 19 March 2026 diff hist +132 B2ASP No edit summary
13:3413:34, 19 March 2026 diff hist +132 B2ASP No edit summary
13:3113:31, 19 March 2026 diff hist +1,288 N B2ASP Created page with "The current versions of ProB can make use the clingo ASP solver as an alternate way of solving constraints. This backend translates a subset of B formulas to SAT by encoding the formulas in ASP (Answer Set Programming) first and then using clingo to translate this to SAT and solve it. B2ASP solving consists of the following phases: * a CLP(FD) based bounds analysis to infer finite bounds for all variables, * a translation of set theory and B to ASP programs (aka Horn c..."
13:1913:19, 19 March 2026 diff hist +35 Template:User Manual Index No edit summary current

07:0507:05, 11 March 2026 diff hist −1 SimB →Direct Activation

14:0914:09, 10 March 2026 diff hist −12 SimB →Direct Activation

11:4611:46, 12 February 2026 diff hist 0 Download →Latest Beta Release
11:4511:45, 12 February 2026 diff hist +8 Download No edit summary

10:5910:59, 30 January 2026 diff hist −1 Using ProB with Atelier B →Extra Features of ProB current
10:5910:59, 30 January 2026 diff hist +207 Using ProB with Atelier B →Extra Features of ProB
09:5009:50, 30 January 2026 diff hist +96 Using ProB with Atelier B →Extra Features of ProB
09:4909:49, 30 January 2026 diff hist +332 Using ProB with Atelier B →Extra Features of ProB
09:4809:48, 30 January 2026 diff hist +69 Current Limitations No edit summary current
09:4709:47, 30 January 2026 diff hist 0 Current Limitations No edit summary
09:4609:46, 30 January 2026 diff hist +264 Current Limitations No edit summary

15:0515:05, 29 January 2026 diff hist +313 Caching Constants and Operations →Example current
15:0315:03, 29 January 2026 diff hist +623 Caching Constants and Operations No edit summary
14:5514:55, 29 January 2026 diff hist +53 Caching Constants and Operations →Inspecting the Cache
14:4814:48, 29 January 2026 diff hist +347 Using the Command-Line Version of ProB →-cache current

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