Hi Gustavo, Thanks so much for your comprehensive reply. Really appreciate it. Most of my team members are already gone for the holidays. But my hunch is, based on your reply, we would like to play with Mozart-Gecode interface for some time and see if that helps our issue. So please let me know how I can start using it.
Ashis From: [email protected] [mailto:[email protected]] On Behalf Of Gustavo Gutierrez Sent: Friday, December 18, 2009 10:48 PM To: Mozart users Subject: Re: Mozart Next Release Hello Ashis, 2009/12/18 Maity, Ashis K <[email protected]<mailto:[email protected]>> Hi, Currently we have a scheduling application using Mozart/Oz, but we are running into trouble as our application is crashing in need of more memory. Hence, we are planning to move to Gecode. However, seeing the email below about having a Mozart interface to access Gecode, I was wondering would that solve our memory issue? There could be several reasons for getting out of memory. You could benefit from the mozart gecode integration but without knowing more about your problem it is hard to say something else. Or would it still have that 32 bit memory limitation since it will be initiated through Mozart/Oz? I *think* the new design does not have this limitation, from the implementation point of view memory for the gecode computation spaces is allocated from the operating system and not from the mozart heap. I have to confirm on this since I am not sure. However, improved recomputation using Gecode functionalities might help? The current design of the integration only consider constraint propagation in gecode and search is done in mozart. This means that we don't inherit neither the existing search engines in gecode nor the search stop objects. Allowing the direct use of the serch engines is not straight forward but we have some ideas on how to handle it. Any comment on this is appreciated! Also, when are we expecting this release (of Mozart-Gecode interface)-- in days, weeks or months? There is a project website called GeOz (seems defunct now) -- is it the same thing? It is hard to say when this is going to be finished. We are facing different issues on this integration that are still unsolved from the design point of view. To give you an idea on one of the main problems: you should know that mozart supports several programming paradigms including logic programming. To support this we have the concept of space combinators (or, not, etc.) for this to work we relay on a gecode feature called reflection. This feature was removed from gecode in version 3.0 and we don't have a clear idea on how to handle combinators without it. You will find the current implementation of the gecode integration in the mozart repository (branch mozart-gecode). If you are interested in trying it let me know and I will try to give you some extra help on building it. Regards, -- Gustavo Gutierrez
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
