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

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