[gecode-users] Error in GecodeJ
Mikael Zayenz Lagerkvist
zayenz at gmail.com
Sat Dec 8 10:11:15 CET 2007
On 8 dec 2007, at 07.18, Debdeep Banerjee wrote:
> Hi,
> I am getting the following error message after some time the DFS
> search starts.
> --------------------------------------------------------------------------------------------------------------------
> terminate called after throwing an instance of 'Gecode::SpaceFailed'
> what(): Space::clone: Attempt to invoke operation on failed space
> Aborted (core dumped)
> ----------------------------------------------------------------------------------------------------------------------
> I have written a custom propagator. For small size problems my
> program solves correctly, but when ever i have tried a bigger size
> problem or a bit complicated problem where number of backtracks are
> significantly large, I am getting the above error.
>
> I have attached my propagator code.
>
Without looking at your code, there are some general reasons why this
error may happen: http://www.gecode.org/gecode-users/2007-April/001481.html
Cheers,
Mikael
More information about the gecode-users
mailing list