Re: First-class constraints

Fri, 02 Dec 2005 13:23:27 -0800

Hi, i don't know anything about the Mozart's Debian package,  i know you can get it  either from the tarballs of the mozart's website or  from the mozartCVS.  you'll find it inside the contribs' directory,  it is inside mozart's directory. The fcp and reflect directories have the important things to use the first-class module,  you can also play with the davinci and investigator contribs.
We think the idea of the module is very  good,  but it is a prototype,  so  if you want to work with that,  it'll need a lot of work.
I remember that all the module works very well on mozart 1.2.5,  but some functions have problems on mozart 1.3.0.

We developed a modification to the mozart's source code that allow you to stop one or more constraints,  put then together and other stuff.  we used the ideas and a lot of information from the First-class module. The idea of our  modification is something  like http://discipl.inria.fr/pub/milestone2/D.WP3.1.M2.1.pdf ,  without the graphical interface.
We also worked   with the reflect module.

Try with the contribs and if you have any doubt i'll try to help you.

Att
Alberto Delgado




On 12/2/05, Harmon Nine <[EMAIL PROTECTED]> wrote:

I can't seem to find it.  I'm using the mozart and mozart-stdlib packages on the Debian distribution.  There are packages like 'regex' and 'gdbm' under the contrib directory, but no 'Constraint' package.  Is it something I have to download separately?  I can't find it on Mogul, either. L   Is there a particular site where it is available?

 

We'd like to use a first-class constraint system for scheduling.  The scheduling tasks we're tackling are very complex, and sometimes run "forever," never returning a result.  It would be invaluable to be able to tally, at some point in the search, which constraints are causing the most failures.  From there we could perhaps turn them off, or provide modifications to the environment so they are more likely to be satisfied.  I'm sure first-class constraints could help in other ways as well. J

 

Thanks very much for any help you can provide.

 

-- Harmon

From: Alberto Delgado [mailto:[EMAIL PROTECTED]]
Sent: Thursday, December 01, 2005 6:04 PM
To: Harmon Nine
Subject: Re: First-class constraints

 

Hi,  you can get it from the mozart's contrib directory,  it's not a modification to the oz code, it works like a functor.
What do you want to do with it?
I did some work with that in the Avispa Research group.
We modificated the oz code to do something similar to the mullers' first-class constraints

On 12/1/05, Harmon Nine < [EMAIL PROTECTED]> wrote:

Does anyone know where I can obtain Tobias Muller's modifications to the Oz code that allows first-class constraints, i.e. via the "Constraint" module?

 

Any help is greatly appreciated.  Thanks.

 

-- Harmon


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

 


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

Reply via email to