Re: [eclipse-clp-users] Assignment propagation queue

> I am wondering if your question is about how you know what priority to 
> set for a particular goal (propagator). Essentially, the programmer for 
> a particular solver (e.g. ic) needs to make the decision of what 
> priorities to use. This means if you need to write code that interacts 
> with the propagators of a particular library, you need to know what 
> priorities is used by that library.

Yes, I looked through the code earlier and saw that a couple of different
priorities are used in the ic library.

Thanks,

Lars