Track memory allocations #3
Description
The comments hint at several places with memory allocation during the solve. We should try to avoid them.
{{ message }}
The comments hint at several places with memory allocation during the solve. We should try to avoid them.