-
Notifications
You must be signed in to change notification settings - Fork 6
Library for solving packages and reading repositories (superseded by libsolv)
License
openSUSE/sat-solver
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
** 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/
About
Library for solving packages and reading repositories (superseded by libsolv)
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published