[equinox-dev] [prov] SAT4J based resolver

[Pascal Rapicault <Pascal_Rapicault@xxxxxxxxxx>]

Hello,

I'm happy to announce the immediate availability of the new p2 solver based
on SAT4J (www.sat4j.org).

This integration results from several months of close collaboration with
professors Daniel Le Berre and Anne Parrain from the University d'Artois.
Daniel's and Anne's patience, commitment and knowledge have been key to the
success of this effort and we are all thankful for that.

>From a technical point of view, SAT4J with its robust and scalable
algorithms becomes the cornerstone of the p2 solver. More importantly,
SAT4J will enable future releases of p2 to have richer expression of
dependencies thus allowing p2 users to deploy complex configurations of
software components.

PaScaL