mirror of
https://github.com/openSUSE/libsolv.git
synced 2026-02-06 15:46:14 +01:00
38 lines
819 B
Plaintext
38 lines
819 B
Plaintext
This is libsolv, a free package dependency solver using a satisfiability
|
|
algorithm.
|
|
|
|
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
|
|
resolving package dependencies.
|
|
|
|
Google for 'sat solver' to get links to the theory behind it.
|
|
|
|
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
|
|
|
|
Requires: cmake 2.4.x
|
|
|
|
mkdir build
|
|
cd build
|
|
cmake ..
|
|
make
|
|
|
|
To create a package:
|
|
make srcpackage
|
|
see package/
|