Skip to content

ffesti/libsolv

This branch is 2 commits ahead of, 1081 commits behind openSUSE/libsolv:master.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

2a93299 · Mar 17, 2016
Jan 29, 2016
May 5, 2015
Dec 14, 2015
Oct 5, 2015
Mar 17, 2016
Jan 29, 2016
Jan 15, 2016
Dec 22, 2015
Nov 18, 2015
Feb 22, 2008
May 17, 2013
Jun 22, 2012
Feb 2, 2012
Oct 2, 2015
Apr 16, 2013
May 24, 2011
Nov 8, 2007
Sep 1, 2015
Nov 30, 2015
Jan 29, 2016
Aug 12, 2015

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.

The sat-solver code has been written to aim for the newest packages,
record the decision tree to provide introspection, and also allows to
provide the user with suggestions on how to deal with unsolvable
problems. It also takes advantage of the 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

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

Packages

No packages published

Languages

  • C 91.8%
  • CMake 3.9%
  • Perl 2.0%
  • C++ 1.4%
  • Other 0.8%
  • Objective-C 0.1%