Hi Sergii, This looks to be a problem of how ECLiPSe is built from scratch, and the current building order means that gfd_search is not compiled correctly (such that things like sbds_module is not correctly transformed into the gfd specific code). What this means is that gfd_search and probably gfd_sbds are not built correctly in the distribution. Thanks for reporting this bug. I will look into how best to fix it...(ideally such order dependencies should not exist) Cheers, Kish On 28/06/2013 04:11, Sergii Dymchenko wrote: > 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. > > > > ------------------------------------------------------------------------------ > This SF.net email is sponsored by Windows: > > Build for Windows Store. > > http://p.sf.net/sfu/windows-dev2dev > > > > _______________________________________________ > ECLiPSe-CLP-Users mailing list > ECLiPSe-CLP-Users_at_lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users >Received on Fri Jun 28 2013 - 17:43:17 CEST
This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST