Open uyot10 opened 1 year ago
What do you exactly mean with "how the algorithm converges"? which improvement do you need to see?
When the algorithm finishes and finds the optimal value it prints how many iterations it has done. It would be useful to plot how the algorithm improved the value in each iteration to see which iterations are the ones that matter the most and in a more visual way.
right, in the optimization mode that's an info that can be useful. In a graphical way similar to the loss in an ML training process, right?
Exactly, so it would be great to implement a simple graph to show the improvement on each iteration in both incremental and z3 algorithms
Is there any way to plot how the algorithm converges? It would be nice to see how much it improves in each iteration