The demo concerns the shuffle card trick, explained in ../EXAMPLES/Shuffle.v
and trick/shuffle.dvi. In order to create it, run "make" in this directory.
In order to run it, execute:
trick/trick

Or, to run it with a different display,

trick/trick madiran.inria.fr:0.0

This requires the machine whose display you are using to enable access
(xhost +).
