Going back to previous solutions?

[Alejandro]

When I press the Execute button, I get a solution, and the New button generates next ones one by one. Now, I have a couple of questions.

1. Is it possible to go to the previous solutions using the GUI? It seems currently it’s not.

I could use the Java API for this and save all the solutions I’ve had so far in a jupyter notebook, for example. While this is possible, now I wonder:

2. Is being unable to go to previous solutions a problem in practice?

I’m new to Alloy and haven’t figured out the right workflow yet. But to me, this puts pressure on me to read solutions too carefully. In my mind it just seems that going back and forth would be helpful.

[grayswandyr]

@Alejandro

Is it possible to go to the previous solutions using the GUI? It seems currently it’s not.

It’s indeed impossible in the GUI.

@Alejandro

I could use the Java API for this and save all the solutions I’ve had so far in a jupyter notebook, for example.

Remark Alloy 6.2 features a new CLI that allows to list solutions IIRC.

@Alejandro

Is being unable to go to previous solutions a problem in practice?

I think it depends one one’s problem, and workflow too. I don’t suffer much from this but that might “survivor bias”. But when your model is complex, navigating solutions doesn’t seem that relevant to me. I tend more to rely on runs with a detailed body, and on the Evaluator (embedded in the Visualizer) which is a very nice tool to understand an instance.