Permalink
Fetching contributors…
Cannot retrieve contributors at this time
49 lines (29 sloc) 1003 Bytes
** 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
1. Using a dictionary approach to store and retrieve package
and dependency information.
2. 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.
* How to build
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/