- Name: sat-solver
- Version: 0.16.3
- Release: 0.20110114.1ark
- Epoch:
- Group: System Environment/Libraries
- License: BSD
- Url: http://en.opensuse.org/Libzypp/Sat_Solver
- Summary: Satisfyability Solver to compute package dependencies
- Architecture: x86_64
- Size: 68620794
- Distribution:
- Vendor:
- Packager:
Description:
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://del.icio.us/kkaempf/solver gives a collection of bookmarks
related to this topic.
- BuildArch:
- ExcludeArch:
- ExclusiveArch:
- Cookie: pilatus.blankpage.ch 1295009182
- Buildhost: pilatus.blankpage.ch
Generated packages:
- sat-solver-0.16.3-0.20110114.1ark.i586
- sat-solver-debug-0.16.3-0.20110114.1ark.i586
- sat-solver-devel-0.16.3-0.20110114.1ark.i586
- sat-solver-perl-0.16.3-0.20110114.1ark.i586
- sat-solver-python-0.16.3-0.20110114.1ark.i586
- sat-solver-ruby-0.16.3-0.20110114.1ark.i586
- sat-solver-0.16.3-0.20110114.1ark.x86_64
- sat-solver-debug-0.16.3-0.20110114.1ark.x86_64
- sat-solver-devel-0.16.3-0.20110114.1ark.x86_64
- sat-solver-perl-0.16.3-0.20110114.1ark.x86_64
- sat-solver-python-0.16.3-0.20110114.1ark.x86_64
- sat-solver-ruby-0.16.3-0.20110114.1ark.x86_64
Other version of this rpm: