- changed status to invalid
Memory overflow with CP support
Issue #430
resolved
The attached files from the ASP competition generate a memory overflow when CP is turned on (master branch version). Curiously, when the better_full_cp branch is used with CP turned on, the program runs fine.
Comments (4)
-
-
- changed status to open
-
The memory overflow an-sich is interesting. It is probably caused by the fact that the sum can take much more values than when it is effectively grounded, so the min/max aggregate ranges over a much larger domain. This is only a conjecture, and if so, can we improve upon it?
-
- changed status to resolved
- Log in to comment