Add more Statistics (like peak depth) in Choco-Solver FlatZinc Frontend

chocoteam / choco-solver

An open-source Java library for Constraint Programming

http://choco-solver.org/

BSD 4-Clause "Original" or "Old" License

683 stars 137 forks source link

Add more Statistics (like peak depth) in Choco-Solver FlatZinc Frontend #1071

Closed Hedieh-Haddad closed 2 weeks ago

Hedieh-Haddad commented 8 months ago

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.