Home page > Research
Thursday 22 October 2009 - 2:00 p.m. - IUT of Lens.
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 (...)
The SAT solver ManySAT, déveloped by Lakdhar Saïs and Saïd Jabbour with Youssef Hamadi from Microsoft research won the SAT Race 2008 in the parallel track. See Microsoft Research article about that subject.
Olivier Roussel and Christophe Lecoutre, co-organizers of the international CSP competition with Marc van Dongen, disclosed the results of the third CSP competition during the international conference on constraint programing CP 2008, Sydney, Australia. The CRIL is supporting that international event by providing the organizers with an access to its cluster of computers. The CSP competition used around 720 days of CPU (...)