[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