[eclipse-clp-users] Using SBDS with Gecode

From: Sergii Dymchenko <kit1980_at_...6...>
Date: Thu, 27 Jun 2013 20:11:11 -0700
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.
Received on Fri Jun 28 2013 - 03:11:20 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:30 CEST