Hi, I looked at the library shadow_cons.  Please, can somebody point me
to literature regarding shadow constraints stores?  I also would like to
see examples of their use.

Thank you very much, Uli

I'm using ECLiPSe 5.2
--
Ulrich Scholz

http://www.*-*-*.com/ ~scholz/