I have looked through the guides, the API documentation, and the examples, and I haven't been able to find an answer to this question. Apologies if I have missed something obvious.
I have to build a system capable of solving literally hundreds of different but similar problems. In some cases, the peak volume is fairly high - on the order of 50K instances per day. Fortunately none of the instances will be large - less than 100 variables. I am investigating defining the problems in FlatZinc files (constraints only), but programmatically populating the parsed models with data. I want to avoid the overhead of generating and then parsing a complete FlatZinc file (constraints + data) for each instance. Having looked at the documentation, with my limited knowledge of C++, I get the impression that it is possible to do this. Can anybody confirm my impression? Thanks _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
