mirror of https://git.FreeBSD.org/ports.git
14 lines
661 B
Plaintext
14 lines
661 B
Plaintext
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 allows to provide the user with
|
|
suggestions on how to deal with unsolvable problems. It also takes advantage of
|
|
the repository storage to minimize memory usage.
|