mirror of https://github.com/openSUSE/libsolv.git
2150865d61
Turning on POOL_FLAG_ADDFILEPROVIDESFILTERED made the lookup of all file dependencies lazy, not only the ones required by some dependency. This changes the way searching works and may also slow down some use cases. We now changed addfileprovides() to record the needed non-standard file dependencies and only make those lazy in createwhatprovides(). |
||
|---|---|---|
| .github/workflows | ||
| bindings | ||
| cmake/modules | ||
| doc | ||
| examples | ||
| ext | ||
| package | ||
| src | ||
| test | ||
| tools | ||
| win32 | ||
| .appveyor.yml | ||
| .emacs-dirvars | ||
| .gitignore | ||
| .travis.yml | ||
| CMakeLists.txt | ||
| CREDITS | ||
| INSTALL | ||
| LICENSE.BSD | ||
| NEWS | ||
| README | ||
| TODO_1.0 | ||
| VERSION.cmake | ||
| libsolv.pc.in | ||
| libsolvext.pc.in | ||
README
Libsolv
=======
This is libsolv, a free package dependency solver using a satisfiability
algorithm.
The code is based on two major, but independent, blocks:
1. Using a dictionary approach to store and retrieve package and
dependency information in a fast and space efficient manner.
2. Using satisfiability, a well known and researched topic, for
resolving package dependencies.
The sat-solver code has been written to aim for the newest packages,
record the decision tree to provide introspection, and also provides
the user with suggestions on how to deal with unsolvable
problems. It also takes advantage of repository storage to
minimize memory usage.
Supported package formats:
- rpm/rpm5
- deb
- arch linux
- haiku
Supported repository formats:
- rpmmd (primary, filelists, comps, deltainfo/presto, updateinfo)
- susetags, suse product formats
- mandriva/mageia (synthesis, info, files)
- arch linux
- red carpet helix format
- haiku
Build instructions
==================
Requires: cmake 2.8.5 or later
mkdir build
cd build
cmake ..
make
////
vim: syntax=asciidoc
////