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? Or would it still have that 32 bit memory limitation since it will be 
initiated through Mozart/Oz? However, improved recomputation using Gecode 
functionalities might help? 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?

Thanks,

Ashis

-----Original Message-----
From: [email protected] [mailto:[email protected]] On 
Behalf Of Peter Van Roy
Sent: Tuesday, December 08, 2009 12:19 PM
To: Mozart users
Subject: Re: Mozart Next Release

Dear Markus,

I would just like to complement Torsten's message.  We are currently 
working on two extensions to the Mozart system itself.  The first is 
related to the distribution subsystem: Mozart 1.4.0 did a complete 
rewrite of it (see Raphaël Collet's Ph.D. thesis) and some problems 
remain which we will fix in the next release.  The second is related to 
constraints: we are working on a connection between Mozart and Gecode.  
This work is being done by Yves Jaradin and Gustavo Gutierrez, 
respectively.  The distribution fixes should be released relatively 
quickly (Yves can say more).

We also have some ongoing application work.  For example, there is the 
Beernet transactional store (beernet.info.ucl.ac.be) which is a result 
of the SELFMAN project (www.ist-selfman.org).  This work is done by 
Boris Mejias.  There is some work by other people.  For example, 
Jean-Bernard Stefani's group at INRIA has written an advanced dynamic 
configuration package called CompOz, which can deploy, reconfigure, 
navigate, monitor, and use workflows with distributed dynamic component 
systems based on Oz.  This was part of the work on self configuration in 
SELFMAN.

We have ported Mozart to Android in SELFMAN.  This was done by Jérémie 
Melchior, helped by Yves Jaradin and Gustavo Gutierrez.  If you are 
interested to help with this effort and have a complete Mozart run on 
your gPhone, please send us mail!

PS, bugfix patches are much appreciated!

Peter

_________________________________________________________________________________
mozart-users mailing list                               
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
_________________________________________________________________________________
mozart-users mailing list                               
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users

Reply via email to