The new release of Eclipse - 3.4, also known under codename ganymede - relies on SAT4J 2.0 to manage the dependencies among its plugins during both installation and update.
See the announce made by Pascal Rapicault on SAT4J mailing list.
Some consequences :
The next version of Maven will also use SAT4J to manage artifacts dependencies.
See online : SAT4J web site