Speaking only for my solver, yes it discards solutions. That’s the only way I can guarantee a peak memory that’s 47% higher than average.
To guarantee finding all solutions all the time would I think require a peak memory usage of many many GB …
Speaking only for my solver, yes it discards solutions. That’s the only way I can guarantee a peak memory that’s 47% higher than average.
To guarantee finding all solutions all the time would I think require a peak memory usage of many many GB …