[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [p2-dev] Explanation support released

Pascal Rapicault a écrit :
> I have just released in HEAD the first cut at our new support for
> explanations (the famous bug 200380). This support is based on a new
> version of SAT4J that has implemented the QuickXplain algorithm.
> The code is not completely integrated with the UI and I will do this
> tomorrow. There are a few others things that I need to address such as
> the dependency on java 5 but it may have to wait until post M6.

I fixed the dependency to Java5 on HEAD.

	Daniel

-- 
             Daniel Le Berre mailto:leberre@xxxxxxxxxxxxxxxxxxx
             MCF,    CRIL-CNRS UMR 8188,    Universite d'Artois
             http://www.cril.univ-artois.fr/~leberre