This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
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 PhD | at the University of Erlangen Nurnberg. He worked in the "Autobuild" team modernizing the build system used for package | and product building. | | When the openSUSE project came into existence in 2005, he started | a complete rewrite of the build system that became the backend part | of the Open Build Service. | | When he's not fixing Build Service bugs, he's working on libsolv... Read More →

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

Attendees (18)