Skip to Main content Skip to Navigation
New interface
Conference papers

On SAT Technologies for dependency management and beyond

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Francois Chevallier Connect in order to contact the contributor
Submitted on : Tuesday, October 8, 2013 - 11:29:57 AM
Last modification on : Monday, March 14, 2022 - 3:32:58 PM
Long-term archiving on: : Thursday, January 9, 2014 - 4:28:15 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads