Provider dependencies later was: Unit testing the resolver

[Paul Sandoz]

On Jun 26, 2012, at 8:42 AM, Jaroslav Tulach wrote:
> Dne Po 25. června 2012 20:54:24, Paul Sandoz napsal(a):
>> No problem. Mostly what i am looking for is agreement that service provider
>> module dependencies should be resolved after the "Classpath"  dependences
>> since it is:
>> 
>> - easier to report errors;
> 
> I'd bet this is true.
> 
>> - easier for developers to understand; and
> 
> Right, it follows the way I think about the resolution.
> 
>> - has wider implications to help avoid, in part, NP-Complete problems.
> 
> I have doubts about this statement in general. It goes in the right direction, 
> but unless the whole system[1] is in place, I don't see NP-Completeness being 
> prevented.

Thanks, i suspected as much, it's just a small piece of the larger puzzle.


> Maybe P2 and Sat4J guys could jump in and share their experience 
> with optimizing the NP-problem space...
> 

Yes, that would be most interesting.

Paul.

> -jt
> 
> 
> [1] http://wiki.apidesign.org/wiki/JigsawServices