Russ Abbott wrote:
Is there some documentation (or good examples) for how one goes about writing constraints and associated propagators and plugging them into a computation? I'm thinking of constraints in a new domain, i.e., not integer ranges. Is there support for that? I think that a previous message said that this has been done. But I can't find it.
Please be more precise. Do you want to implement constraints in Oz, or in a C/C++ extension?
Cheers, raph _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
