Skip to content
Sections
>> Trisquel >> Packages >> aramo >> libs >> libsolvext1
[  aramo  ] [  aramo-updates  ]
[ Source: libsolv  ]

Package: libsolvext1 (0.7.20-1build2)

dependency solver using a satisfiability algorithm (extensions)

This dependency solver code in this package 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.

Search the internet 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

This package contains the libsolv extension library.

Other Packages Related to libsolvext1

  • depends
  • recommends
  • suggests
  • dep: libbz2-1.0
    high-quality block-sorting file compressor library - runtime
  • dep: libc6 (>= 2.33)
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
  • dep: libexpat1 (>= 2.0.1)
    XML parsing C library - runtime library
  • dep: liblzma5 (>= 5.1.1alpha+20120614)
    XZ-format compression library
  • dep: librpm9 (>= 4.16)
    RPM shared library
  • dep: librpmio9 (>= 4.14.0+dfsg1)
    RPM IO shared library
  • dep: libsolv1 (>= 0.7.11)
    dependency solver using a satisfiability algorithm (shared library)
  • dep: zlib1g (>= 1:1.2.3.3)
    compression library - runtime

Download libsolvext1

Download for all available architectures
Architecture Package Size Installed Size Files
armhf 108.1 kB218 kB [list of files]