07:1807:18, 5 September 2013diffhist+2,881 N
Game of Life
Created page with 'This is a simple model of Conway's Game of Life. It was written for animation with ProB. One interesting aspect is that the simulation is unbounded, i.e., not restricted to some …'
11:4011:40, 30 July 2013diffhist+5,434 N
Rush Hour Puzzle
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…'
11:3211:32, 22 May 2013diffhist+2,951 N
Gilbreath Card Trick
Created page with 'In the Dagstuhl library I stumbled upon a nice short article by Tony Hoare and Natarajan Shankar in memory of Amir Pnueli. It unravels a card trick by Gilbreath. The card trick h…'
13:5913:59, 11 October 2012diffhist+1,400 N
Windows Installation Instructions
Created page with 'Windows Specific Download Instructions === Go to the ProB Downloads site === * [http://www.stups.uni-duesseldorf.de/ProB/index.php5/Download http://www.stups.uni-duesseldorf.d…'
07:0407:04, 2 April 2012diffhist+1,147 N
External Functions
Created page with ' As of version 1.3.5-beta7 ProB can make use of externally defined functions. These functions must currently be written in Prolog (in principle C, Java, Tcl or even other languag…'
16:2516:25, 27 February 2012diffhist+358 N
Eval Console
Created page with ' For this tutorial, load for example the file <tt>StackConstructive.mch</tt> included in the <tt>examples/Tutorial</tt> directory of the [http://www.stups.uni-duesseldorf.de/ProB…'
