[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