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 : Sat Jun 29 2013 - 06:13:49 CEST