Partenaires
Home page > Research > SAT4J in Eclipse 3.4
SAT4J in Eclipse 3.4
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.
Press releases: InfoQ and SD Times
Some consequences :
SAT4J will be distributed by most Linux distributions as a separate package (RPM, DEB).
The next version of Maven will also use SAT4J to manage artifacts dependencies.
See online : SAT4J web site