[Marbles-isi] proposed enhancements/changes to the Marbles 2 problem definition

[Seongbin Park]

Hi Martin,

> Proposed enhancement are checked in, commented out for now; Min will 
> implement for SimpleProblem.
> 
> These allow  a solver to find out from the problem definition which 
> requirements are interdependent with which other requirements, then ask the 
> problem definition for the estimated total number of possible combinations, 
> and ask for individual combinations.
> 
> This enables the solver author to write a more intelligent solver, having 
> to rely less on a blind "generate-and-test" strategy.
> 
> The satisfyingResourcesFor() is obviously not going away until (a) no 
> solver uses it anymore.
> 
> Does this make sense to you?

I believe this question is for solver writers, and I have not written a 
solver, so cannot tell you much.  However, from the description above, my 
feeling about the proposed enhancement is that it will certainly make a solver 
more intelligent since it allows the solver to preprocess with the problem 
definition first and proceed to find real combinations with time availability 
information later.   Or, if you think my understanding does not appear to be 
what you were intending to say, please let me know.

Thanks,
Seongbin