Skip to content

weinhold/libsolv

 
 

Repository files navigation

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

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
    resolving package dependencies.

Google for 'sat solver' to get links to the theory behind it.

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

Requires: cmake 2.4.x

mkdir build
cd build
cmake ..
make

To create a package:
make srcpackage
see package/

About

Library for solving packages and reading repositories

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C 91.5%
  • Perl 3.2%
  • Python 2.3%
  • Ruby 1.5%
  • C++ 1.3%
  • Objective-C 0.2%