Tutorial

SMT Debugging by Example

The tutorial is currently under construction. In the meantime it is recommended to open the example log (under Navigation in the tool) and explore the features there. This log roughly corresponds to the example used in this paper.