Tutorials & worked examples

Executable walkthroughs of running the Oasis stack on the example models.