You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am using the Choco-Solver with the FlatZinc frontend (fzn-choco) and I noticed that the peak depth is not included in the printed statistics after solving a problem.
I understand that the peak depth can be retrieved programmatically using solver.getMaxDepth(), but it would be very helpful if this information could also be included in the statistics printed by the FlatZinc frontend.
Looking forward to see your response.
The text was updated successfully, but these errors were encountered:
Hedieh-Haddad
changed the title
Add more Statistics like peak depth in Choco-Solver FlatZinc Frontend
Add more Statistics (like peak depth) in Choco-Solver FlatZinc Frontend
Nov 13, 2023
Hello,
I am using the Choco-Solver with the FlatZinc frontend (fzn-choco) and I noticed that the peak depth is not included in the printed statistics after solving a problem.
I understand that the peak depth can be retrieved programmatically using solver.getMaxDepth(), but it would be very helpful if this information could also be included in the statistics printed by the FlatZinc frontend.
Looking forward to see your response.
The text was updated successfully, but these errors were encountered: