One Hat Cyber Team

Your IP: 18.217.164.190
Server IP: 97.74.87.16
Server: Linux 16.87.74.97.host.secureserver.net 5.14.0-503.38.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Apr 18 08:52:10 EDT 2025 x86_64
Server Software: Apache
PHP Version: 8.2.28
Buat File | Buat Folder

View File Name : 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
////