choco-solver
choco-solver copied to clipboard
Instrument environment for performance evaluation
Environment could provide indicators on:
- allocated space,
- used space,
- resize frequency.
These parameters should help user to determine which configuration is the more adapter to its problem:
- CHUNCKED is adapted to large-scale problem in which huge space is needed and allocating it in one shot is critical
- FLATTEN is adapted to low-memory consumption problem.
Each of them should be accurately configured wrt to the analysis of the parameters