[gecode-users] Dynamically constructing a model using solution of an IntVar
Ajit Dingankar
Ajit.Dingankar at gmail.com
Tue Aug 13 22:16:06 CEST 2013
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
====
More information about the users
mailing list