On SAT Technologies for dependency management and beyond - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

On SAT Technologies for dependency management and beyond


SAT solvers technology is now mature enough to be part of the engineer toolbox side by side with Mixed Integer Programming and Constraint Programming tools. As of June 2008, two great pieces of software are using SAT technology to manage dependency like problems: the open source Linux distribution OpenSuse 11.0, released on June 19, 2008, integrates a custom SAT solver in their dependency manager Zypp. The new update manager of Eclipse 3.4, called Equinox p2, also uses SAT technology to resolve dependencies in their OSGi platform. The use of SAT technology in Software Product Lines has already been pointed out by several authors. We believe that the current interest for solving dependency management problems in SAT technologies opens quite interesting challenges to the SAT community. First, since those problems are met in software with interactive use, SAT engines need to solve them within seconds. Second, providing one solution is usually not sufficient: finding the best solution is usually what users want. Finally, fully supported open source or commercial SAT engines are needed for a broader adoption in the software engineering community.
Fichier principal
Vignette du fichier
W5_PX_Le_Berre_On_SAT_technologies_for_dependency_management_and_beyond.pdf (49.81 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00870846 , version 1 (08-10-2013)


  • HAL Id : hal-00870846 , version 1


Daniel Le Berre, Anne Parrain. On SAT Technologies for dependency management and beyond. First Workshop on Software Product Lines (ASPL'08), 2008, Limerick, Ireland. pp.197-200. ⟨hal-00870846⟩
227 View
715 Download


Gmail Facebook X LinkedIn More