Hello Everyone, Sorry if this question has come up before, but how can the Oz constraint system be used to model constraints over variables whose domains are tuples? For example, I've written some 3-D puzzle solving algorithms using JCL, and all of my work uses tuples to represent the game pieces. This works fine for me, but I'd like to investigate doing something similar under Oz. Do I have to somehow redo my tuple-domain algorithms to work with integer domains instead, or is there some sort of built-in support for making fancy constraints?
Thanks, Ryan Kaulakis _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
