'Step by step' mode for algorithms in python
If spot has educational objectives it could be interesting to have a step by step mode in order to run algorithms such as degeneralisation, emptiness check, ...
How can we do this without modifying C++ interface?