[gecode-users] Constraint store

[Christian Schulte]

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-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Pierre Talbot
Sent: Tuesday, April 29, 2014 3:49 PM
To: users at 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 at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users