In Gecode 2.0.0 the following code seems to get stuck in an infinite loop:
template ExecStatus
DomEq::propagate(Space* home)
Am I missing something or doing something wrong, other propagation
levels seem to work correct.
-
#include "gec
Hi David,
To quote from the doc:
"Domain-consistent linear equations have exponential complexity, so
use with care!"
Maybe we should be even more explicit: never use it for anything that has
more than four values per variable ;-( The cost of enforcing domain
consistency is O(d^n) for n va
Hi Christian,
that seems to be the case, should have read more carefully, 10080^3
pretty much felt like an infinite loop,
thanks,
David
On Dec 10, 2007 5:34 PM, Christian Schulte <[EMAIL PROTECTED]> wrote:
> Hi David,
>
> To quote from the doc:
>"Domain-consistent linear equations have
Gustavo Gutierrez wrote:
Would it be possible to add a size method to DynamicArray class?. I
have one as class attribute and i had to subclass DynamicArray just
for the size.
I'm not sure that would make so much sense. From the outside, a
DynamicArray looks as if it's unbounded in size. As
