Tutorials ========= .. toctree:: :maxdepth: 1 :caption: Contents: Finding worst-case guarantees Extracting a worst-case example Extracting a proof Designing an algorithm