[p2-dev] New explanation algorithm

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[p2-dev] New explanation algorithm

From: Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>
Date: Wed, 24 Mar 2010 22:26:59 +0100
Delivered-to: p2-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/p2-dev>
List-help: <mailto:p2-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/p2-dev>, <mailto:p2-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/listinfo/p2-dev>, <mailto:p2-dev-request@eclipse.org?subject=unsubscribe>
User-agent: Thunderbird 2.0.0.23 (X11/20100301)

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

Follow-Ups:
- Re: [p2-dev] New explanation algorithm
  - From: Daniel Le Berre

Prev by Date: Re: [p2-dev] API change! QueryUtil changes and their impact on testability
Next by Date: Re: [p2-dev] New explanation algorithm
Previous by thread: [p2-dev] Bugzilla Target Milestones for 3.7
Next by thread: Re: [p2-dev] New explanation algorithm
Index(es):
- Date
- Thread

Breadcrumbs