[eclipse-clp-users] Using SBDS with Gecode

Hi,

SBDS works for me with ic library, but not with gfd.

I have:

:- lib(gfd).
:- lib(gfd_search).
:- lib(gfd_sbds).
...
sbds_initialise(Matrix, Syms, #=, []),
gfd_search:search(Qs, 0, most_constrained, indomain_median, sbds, []).

And I get "lookup module does not exist in sbds_module :
is_sbds_var(_388867{sbds : sbds(1), gfd : [1 .. 1000]}) in module
gfd_search".

Version 6.1development #160 (x86_64_linux), Sun Jun 16 02:06 2013

Is this a bug or I use it wrong?

Sergii.