- 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: 2581046
- Distribution: Ark Linux
- Vendor: Ark Open Source
- 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.
- OptFlags: -m64 -O2 -fomit-frame-pointer -fweb -frename-registers -ffast-math -mrecip -Wl,-O2,-z,combreloc,-z,relro,--enable-new-dtags,--hash-style=gnu -g -ftree-loop-linear -floop-interchange -floop-strip-mine -floop-block -fgraphite-identity -ftree-loop-distribution -ftree-loop-im -ftree-loop-ivcanon -fivopts -DQT_USE_FAST_CONCATENATION -DQT_USE_FAST_OPERATOR_PLUS -DNDEBUG -DQT_NO_DEBUG -mmmx -msse -msse2 -mfpmath=sse,387
- Cookie: pilatus.blankpage.ch 1295009182
- Buildhost: build-x86_64.internal.arklinux.org
Sources packages:
Other version of this rpm: