As said, Gecode is not any option for you. Oz has been central in inventing and refining the notion of a constraint store (it for sure has one). I think some more reading might be a good idea before deciding what to implement.
Best Christian -- Christian Schulte, Professor of Computer Science, KTH, www.ict.kth.se/~cschulte/ -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Pierre Talbot Sent: Tuesday, April 29, 2014 4:45 PM To: users@gecode.org Subject: Re: [gecode-users] Constraint store I'm very new to constraint programming and Oz but I read that there are plans to use Gecode in Mozart. On the other hand, I don't think Oz is using the store concept, correct me if I'm wrong. Anyways, thanks for the infos, I'll definitely look into Oz and AKL. Do you think it's feasible to use Gecode to avoid reimplementing the basis of a constraint system? Or is Gecode have little chances to help us? Regards, Pierre Talbot Le 29/04/2014 15:54, Christian Schulte a écrit : > Hi, > > Gecode is a terrible choice for a cc-inspired language. Please go back > to predecessors of Gecode such as Oz and AKL, there you will find how > you can implement ask and tell efficiently. A (somewhat dated starting point) is: > http://mozart.github.io/publications/ > > Cheers > Christian > > -- > Christian Schulte, Professor of Computer Science, KTH, > www.ict.kth.se/~cschulte/ > > > -----Original Message----- > From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On > Behalf Of Pierre Talbot > Sent: Tuesday, April 29, 2014 3:49 PM > To: users@gecode.org > Subject: [gecode-users] Constraint store > > Hi, > > I develop a compiler for a formal concurrent language called 'ntcc'. > This language introduces a constraint store that we can manipulate > with two > operations: > > * Ask(c): ask the store d if c is entailed by d. > * Tell(c): Entail the constraint c in the store. > > I'd like to use Gecode to implement it but I didn't find anything > related to the notion of store. A technique, probably inefficient, > would be to copy the store each time we want to ask something, add the > constraint in and search for the first solution (if it exists). Also, > we are not interested by the solution but only by the existence of a solution. > > If you have any leads on previous works or implementations of such a > store using (or implemented in) Gecode, I'd be grateful. > > Regards, > Pierre Talbot (IRCAM) > > _______________________________________________ > Gecode users mailing list > users@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users > _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
