Friday, February 7 • 12:30 - 13:10
Why use a SAT solver for package management?

Sign up or log in to save this to your schedule and see who's attending!

The DNF project is scheduled to become the new YUM in Fedora 22. The underlying dependency solver, the libsolv library, uses a satisfiability (SAT) solver to do its work.

This talk will give you an understanding of how SAT based dependency solving works and what its advantages compared to traditional approaches are. For example, most solvers will just abort with an error message if a dependency problem has no solution, whereas a SAT based solver allows the automatic generation of solution proposals.

This gets even more important when build systems like COPR or OBS gain popularity, as the chances of dependency problems increase with the number of uncoordinated repositories.

Another advantage of using a SAT solver is its speed. We will show solver results and timings for some real life examples and do a comparison between YUM and DNF.

avatar for Michael Schroeder

Michael Schroeder

Software Developer, SUSE
Michael Schroeder joined SUSE in 2000 after finishing his PhDat the University of Erlangen Nurnberg. He worked in the "Autobuild" team modernizing the build system used for packageand product building.When the openSUSE project came into existence in 2005, he starteda complete rewrite... Read More →

Friday February 7, 2014 12:30 - 13:10
Workshop room L1 - B410

Attendees (0)