I'm a newbie to Gecode (although I've used constraint programming before) so please excuse me for a stupid question. ;-)
I'm working on a problem of generating some test files according to some constraints on the structure and content. The file header has a field for the size of the data content (rest of the file). >From what I've read in MPG, Tip 4.5 seems to be the right approach for the problem, except that the length of the for dynamically sized IntVarArray (representing Data) is determined by a partial solution (for the IntVar representing Length). I'd appreciate any pointers to modeling or solving this problem. Thanks, Ajit ==== _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
