Introduce some case-studies

[ChrisJefferson]

I feel it might be easier to give concrete examples. Here's a (slightly modified) one from a recent paper of mine. I think others might be longer and more interesting.

• On a mac, using the 'atom' text editor, I wrote an algorithm in python (using only built-in libraries) to calculate things I call "short tables".
• On a linux box, I used gnu parallel + python to run that algorithm many times. I then used the results of that to test a new algorithm in 'Minion', a constraint solver I work on.
• I analysed the results using R, and wrote my paper up in latex (back on the mac), still using the 'atom' text editor.

Which pieces of software should I have cited? Which software versions should I provide?