10:3610:36, 2 February 2016diffhist+14,832 N
The Jobs Puzzle
Created page with "This puzzle was originally published in 1984 by Wos et al. <ref>L. Wos, R. Overbeek, E. Lusk, and J. Boyle. Automated Reasoning: Introduction and Applications. Prentice-Hall,..."
11:0611:06, 20 February 2015diffhist+955 N
PROBPATH
Created page with '{{DISPLAYTITLE:The ProB Search Path}} Starting with version 1.5 of ProB, how the parser resolves files references from machines can be customized. By default ProB will try to f…'