Skip to main content

A free package dependency solver using a satisfiability algorithm.

Project description

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
  • apk

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
  • apk

Build instructions

Requires: cmake 3.5 or later

mkdir build
cd build
cmake ..
make

//// vim: syntax=asciidoc ////

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

solv-0.7.32.tar.gz (785.8 kB view details)

Uploaded Source

Built Distributions

solv-0.7.32-cp313-cp313-manylinux_2_28_x86_64.whl (2.7 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.28+ x86-64

solv-0.7.32-cp313-cp313-manylinux_2_28_aarch64.whl (2.6 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.28+ ARM64

solv-0.7.32-cp312-cp312-manylinux_2_28_x86_64.whl (2.7 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.28+ x86-64

solv-0.7.32-cp312-cp312-manylinux_2_28_aarch64.whl (2.6 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.28+ ARM64

solv-0.7.32-cp311-cp311-manylinux_2_28_x86_64.whl (2.7 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.28+ x86-64

solv-0.7.32-cp311-cp311-manylinux_2_28_aarch64.whl (2.6 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.28+ ARM64

solv-0.7.32-cp310-cp310-manylinux_2_28_x86_64.whl (2.7 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.28+ x86-64

solv-0.7.32-cp310-cp310-manylinux_2_28_aarch64.whl (2.6 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.28+ ARM64

solv-0.7.32-cp39-cp39-manylinux_2_28_x86_64.whl (2.7 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.28+ x86-64

solv-0.7.32-cp39-cp39-manylinux_2_28_aarch64.whl (2.6 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.28+ ARM64

File details

Details for the file solv-0.7.32.tar.gz.

File metadata

  • Download URL: solv-0.7.32.tar.gz
  • Upload date:
  • Size: 785.8 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.12.8

File hashes

Hashes for solv-0.7.32.tar.gz
Algorithm Hash digest
SHA256 68bd60d0c7a650c4f6c8851a6c6ccb39a2e39df213ecdfadce0dbad9fed1331a
MD5 3324f1fb60e836f9e0b897582b4b6e3d
BLAKE2b-256 cf77e027ae78e40c6885db9392853667e739eff89e139ccc5ba6e4df33366ab2

See more details on using hashes here.

File details

Details for the file solv-0.7.32-cp313-cp313-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for solv-0.7.32-cp313-cp313-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 e0092e0de12b7fe7c8f8765ae43982196a1d958a20bcb4d37781e6376baec59f
MD5 7580482ea8a7bae257075d1973a95836
BLAKE2b-256 d556d1587bc0d58cfb5fb24764ad1f1d4b2092005c3a920019300a6122030315

See more details on using hashes here.

File details

Details for the file solv-0.7.32-cp313-cp313-manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for solv-0.7.32-cp313-cp313-manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 4f906d866c9823c76557dd768bea89de9fdc995cc2dfac745c6b1718f3001df7
MD5 4636cb3153bd135a96cbacbe89edf485
BLAKE2b-256 2b7141840ca3d82fca15948d36c6c778482e35ecca3a7bd796abd25b23f143a1

See more details on using hashes here.

File details

Details for the file solv-0.7.32-cp312-cp312-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for solv-0.7.32-cp312-cp312-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 4f30bd878bba3362a4e268b4e0ca834011fddaea26da38f2772524dc541da3a6
MD5 5e980daa4b0f942aa1ac8968b618fc18
BLAKE2b-256 57ea8de7c092f0c99ab6d8a4cfd80f9a40102c4a853e374309aa00b8037ce3d0

See more details on using hashes here.

File details

Details for the file solv-0.7.32-cp312-cp312-manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for solv-0.7.32-cp312-cp312-manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 d00641f58efae0edb553be6d2dbbea92ce096b0e9892c9d4463a1c77016b5d8f
MD5 0f7b1c0aeff06319bafb31800a066b90
BLAKE2b-256 8f37ed9fed7786a8e4475a63183892c5672c02439f3168e963a63f7e28789131

See more details on using hashes here.

File details

Details for the file solv-0.7.32-cp311-cp311-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for solv-0.7.32-cp311-cp311-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 1fca50f3894617c3441d271c477558018817de330ce65b59dad12002be0ad6e1
MD5 20e8a82631416fc8b90e99c84c0f833b
BLAKE2b-256 ab063d7ea94cb09f19b2897c113b8f979a3359cb79b88ea13b4aba8d1f6b4e1d

See more details on using hashes here.

File details

Details for the file solv-0.7.32-cp311-cp311-manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for solv-0.7.32-cp311-cp311-manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 a0da763a96962a4d2a1b76416045578a27686d5057b71d6e17e88d7f4092d82b
MD5 6295b0934b5369d99b2dd1524ac3e1b8
BLAKE2b-256 be4a6a26920505ceb11b52e78ef7813854be31190efc809afd1e501fa359e0c6

See more details on using hashes here.

File details

Details for the file solv-0.7.32-cp310-cp310-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for solv-0.7.32-cp310-cp310-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 ad0f37402eb2a8ac241935fc7e37f336a9974c9fc22ad8d70fa1a7e263eb2926
MD5 4472dd15ebb48e12f7afd76f769bdf09
BLAKE2b-256 62bf2d0407e83eb1447b56bb7ecdd0980bbce2817fcff693510176b28942b267

See more details on using hashes here.

File details

Details for the file solv-0.7.32-cp310-cp310-manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for solv-0.7.32-cp310-cp310-manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 d021dd4adf4ec91049207408a263bb9953bcf968bfe40f7b9eb64d6c3e4dd8f0
MD5 2204d7b42bfa5865352226bf27159263
BLAKE2b-256 28a1e823e47b8013b8ba85fe8d2bb3c1b0ec227fd8eb6f4e0bea82c554a49b98

See more details on using hashes here.

File details

Details for the file solv-0.7.32-cp39-cp39-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for solv-0.7.32-cp39-cp39-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 296571fbe52bd321ba4e8ba705496757c30ea4ebe55cba712dd7904408cf3291
MD5 d6c0b0836491d21ac7fa94e058720733
BLAKE2b-256 f65db94f33ad367a84af518cec2c9a2b555c9d530053abc10e3bdcf194d6657f

See more details on using hashes here.

File details

Details for the file solv-0.7.32-cp39-cp39-manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for solv-0.7.32-cp39-cp39-manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 208ac3950e7a25f59a1d28b0a6a2569c0a11b85c21f5612184a42ab547d32ce1
MD5 aee133b395159345e36cf6d89986b396
BLAKE2b-256 9ecf28e3e0b2ff5d817aab92d6441ed274222e92447fa9ed47ff9479f214d5c0

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page