Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Library for solving packages and reading repositories (superseded by libsolv)
C Ruby Python Perl Other

This branch is 32 commits ahead, 1062 commits behind master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
applayer
bindings
cmake/modules
doc
examples
package
src
testsuite
tools
.emacs-dirvars
CMakeLists.txt
INSTALL
LICENSE.BSD
Makefile.cvs
README
VERSION.cmake

README

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://del.icio.us/kkaempf/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 createe a package
make srcpackage
see package/
Something went wrong with that request. Please try again.