Please note
This library has been renamed to libsolv, the now repository location is: https://github.com/openSUSE/libsolv
SAT-Solver
Using a Satisfyability Solver to compute package dependencies.
See http://idea.opensuse.org/content/ideas/fast-installation-tool for the motivation.
This code is based on two major, but independent, blocks
Using a dictionary approach to store and retrieve package and dependency information.
Using satisfiability, a well known and researched topic, for computing package dependencies.
Google for 'sat solver' to get links to the theory behind it. http://pinboard.in/u:kkaempf/t:solver gives a collection of bookmarks related to this topic.
Some research papers are in doc/pdf.
Everything else is below doc.
Please subscribe to zypp-devel@opensuse.org for any questions.
Requires: cmake 2.4.x
mkdir build cd build cmake .. make
To install ruby bindings: make install
To create a package make srcpackage see package/