[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [p2-dev] Explanation support released
- From: Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>
- Date: Sat, 28 Feb 2009 12:34:57 +0100
- Delivered-to: email@example.com
- User-agent: Thunderbird 18.104.22.168 (X11/20090114)
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 Le Berre mailto:leberre@xxxxxxxxxxxxxxxxxxx
MCF, CRIL-CNRS UMR 8188, Universite d'Artois