[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [p2-dev] New explanation algorithm

Sorry for the late reply, most of us were at eclipsecon promoting, p2, p2CUDF and SAT4J :)
What is your level of confidence of stability of this new code. What sort of test suite do you have on the SAT4J side?
Is the old code still in SAT4J? I'm asking because having the two code side by side could help us verify the explanations being produced (maybe by setting a sys property) and thus gain confidence.
thx

On 2010-03-24, at 3:00 PM, Daniel Le Berre wrote:

> Daniel Le Berre a écrit :
>> Dear all,
>> 
>> I have been working on a new explanation algorithm in SAT4J this week end.
>> 
>> I am looking for feedback on that new algorithm.
>> 
>> You can grab an updated version of SAT4J with that new algorithm here:
>> https://bugs.eclipse.org/bugs/show_bug.cgi?id=266687
>> 
>> Please report any issue there.
>> 
>> Cheers,
>> 
>> 	Daniel
> 
> Well, I just noticed that my message was maybe too cryptic for the
> majority of the list :)
> 
> The explanation algorithm is used when the resolver cannot find a plan
> to explain why the installation cannot proceed.
> 
> I decided to write a new algorithm after noticing last week that the
> explanation of a failure to upgrade from a 3.6M5 with JEE packages to
> 3.6M6 could take more than one minute.
> 
> With the updated algorithm, it should take only a few seconds.
> 
> If you meet such kind of slow explanations, I would like to have your
> feedback with the new algorithm.
> 
> 	Daniel
> -- 
>             Daniel Le Berre mailto:leberre@xxxxxxxxxxxxxxxxxxx
>             MCF,    CRIL-CNRS UMR 8188,    Universite d'Artois
>             http://www.cril.univ-artois.fr/~leberre
> _______________________________________________
> p2-dev mailing list
> p2-dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/p2-dev