Collection of Exercises and Solutions for SAW and Cryptol - View it on GitHub