Hi,

What if you can "go back" to the previous solution on the visualizer?
I sometimes press "Next" button unwittingly and miss an interesting instance.
And to find it again, I need to reexecute the same command and press the button several times.
It's hard when the solutions were many.

Can you make the analyzer remember past enumerations?

Takeo