--- ycaseau <no_reply@yahoogroups.com> wrote:
> No, claire does not support the concept of constraints (hence
> not in
> a store). Claire has a backtrackable store, in which object,
> array or
> list modifications may be posted, thus it is a nice language
> to
> implement constraints :-)

I understand now. Thanks.

> The CHOCO solver (a freeware library) is available on top of
> claire
> by the way :-)

Thanks for the pointer :) (CHOCO at
http://www.choco-constraints.net/ )

>
> Cheers,
>
> -- Yves
>
>
>
> --- In claireprogramminglanguage@yahoogroups.com,
> "thomas_sg2000
> <thomas_sg2000@y...>" <thomas_sg2000@y...> wrote:
> > Hi,
> >
> > CLAIRE can be used as a constraint programming language. I
> am
> curious:
> > does CLAIRE has constraint stores? I ask this because some
> other
> > constraint programming languages like EClipse and Oz uses
> constraint
> > stores.
> >
> > Thanks,
> > - WK
>
>


__________________________________________________
Do you Yahoo!?
Yahoo! Tax Center - forms, calculators, tips, more
http://taxes.yahoo.com/