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

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