Skip to content
This repository


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Library for solving packages and reading repositories (superseded by libsolv)

This branch is 23 commits ahead and 230 commits behind master

Fetching latest commit…


Cannot retrieve the latest commit at this time

Octocat-spinner-32 applayer
Octocat-spinner-32 bindings
Octocat-spinner-32 cmake
Octocat-spinner-32 doc
Octocat-spinner-32 examples
Octocat-spinner-32 ext
Octocat-spinner-32 package
Octocat-spinner-32 src
Octocat-spinner-32 tests
Octocat-spinner-32 tools
Octocat-spinner-32 .emacs-dirvars
Octocat-spinner-32 .gitignore
Octocat-spinner-32 CMakeLists.txt
Octocat-spinner-32 CTestConfig.cmake
Octocat-spinner-32 INSTALL
Octocat-spinner-32 LICENSE.BSD
Octocat-spinner-32 Makefile.cvs
Octocat-spinner-32 README
Octocat-spinner-32 VERSION.cmake

Using a Satisfyability Solver to compute package dependencies.

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. gives a collection of bookmarks
related to this topic.

Some research papers are in doc/pdf.

Everything else is below doc.

Please subscribe to for any questions.

* How to build

Requires: cmake 2.4.x

mkdir build
cd build
cmake ..

To install ruby bindings:
make install

To create a package
make srcpackage
see package/
Something went wrong with that request. Please try again.