https://github.com/openSUSE/libsolv

Library for solving packages and reading repositories
https://github.com/openSUSE/libsolv

Last synced: 18 days ago
JSON representation

Library for solving packages and reading repositories

• Host: GitHub
• URL: https://github.com/openSUSE/libsolv
• Owner: openSUSE
• License: other
• Created: 2011-07-29T10:23:28.000Z (over 13 years ago)
• Default Branch: master
• Last Pushed: 2024-09-16T13:45:27.000Z (about 2 months ago)
• Last Synced: 2024-09-16T16:10:19.388Z (about 2 months ago)
• Language: C
• Homepage: http://en.opensuse.org/openSUSE:Libzypp_satsolver
• Size: 12.2 MB
• Stars: 517
• Watchers: 33
• Forks: 153
• Open Issues: 88
• Metadata Files:
  • Readme: README
  • Changelog: NEWS
  • License: LICENSE.BSD

Awesome Lists containing this project

README

        
Libsolv

=======

This is libsolv, a free package dependency solver using a satisfiability

algorithm.

The code is based on two major, but independent, blocks:

 1. Using a dictionary approach to store and retrieve package and

    dependency information in a fast and space efficient manner.

 2. Using satisfiability, a well known and researched topic, for

    resolving package dependencies.

The sat-solver code has been written to aim for the newest packages,

record the decision tree to provide introspection, and also provides

the user with suggestions on how to deal with unsolvable

problems. It also takes advantage of repository storage to

minimize memory usage.

Supported package formats:

  - rpm/rpm5

  - deb

  - arch linux

  - haiku

Supported repository formats:

  - rpmmd (primary, filelists, comps, deltainfo/presto, updateinfo)

  - susetags, suse product formats

  - mandriva/mageia (synthesis, info, files)

  - arch linux

  - red carpet helix format

  - haiku

Build instructions

==================

Requires: cmake 2.8.5 or later

    mkdir build

    cd build

    cmake ..

    make

////

vim: syntax=asciidoc

////