08:2008:20, 23 July 2014diffhist+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…'
10:5510:55, 20 July 2014diffhist+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…'
16:0916:09, 10 July 2014diffhist+7,741 N
Sudoku Solved in the ProB REPL
Created page with ' For this example we try and solve a Sudoku using the REPL (Read-Eval-Print-Loop) of ProB only, without constructing any B machine. The REPL can either be started using probcli's…'
05:2705:27, 21 March 2014diffhist+2,462 N
Siemens Data Validation with ProB
Created page with '= ProB Validation for Siemens SAS = == Situation == During the course of the European FP7 project Deploy, Siemens deployed the ProB software to check if it was feasible to use …'
15:4615:46, 20 February 2014diffhist+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…'
06:5206:52, 25 January 2014diffhist+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 …'
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…'