Package Management/Sat Solver
From openSUSE
SAT solver library is the most powerful package dependency solver and repository storage system available for Linux.
Featured
Background & Information
|
General information.
The sat solver implementation as it appears in openSUSE 11.0 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.
The basics of using a satisfiability solver to solve package dependencies are detailed here. See the internals page for more.
|
Communicate
Development
}
|
|
| Be sure to be subscribed to the zypp-devel mailing list when working on sat-solver
|
Documentation
Getting the source
| Version: git head
| libsatsolver HEAD
|
- For generic git instructions Git.
- For generic git.opensuse.org git instructions Git Hosting.
Anonymous clone
git clone git://git.opensuse.org/projects/zypp/sat-solver.git
Authorized clone
git clone git@git.opensuse.org:projects/zypp/sat-solver.git
Web repository browsing
|
Tools