openSUSE/libsolv
View on GitHub ↗ ★ 614 C
Library for solving packages and reading repositories
8 mentions on Hacker News by 6 people: 0 stories, 8 comments · first 2015-05-18 · latest 2024-07-01
20082026
-
…managers that take this seriously employ SAT solvers, openSUSE's now lives in this library: https://github.com/openSUSE/libsolv . apt lagged behind zypper in this area for many, many years, and just finally got a SAT solver for dependency…
comment by pxc · 2024-07-01 · in Aeon: OpenSUSE for Lazy Developers -
…Mamba and Conda which wraps libsolv like dnf. https://github.com/prefix-dev/pixi OpenSUSE/libsolv: https://github.com/openSUSE/libsolv OpenSUSE/zypper may have wrapped or may still wrap libsolv? TIL libsolv also supports arch .apk and…
comment by westurner · 2024-05-15 · in The new APT 3.0 solver -
RPM based distributions typically use dnf, which uses the SAT solver library libsolv https://github.com/openSUSE/libsolv . I'm not 100% sure if this is current, but APT uses (or used) a heuristics search, but it is possible to configure it…
comment by papercrane · 2023-07-12 · in The magic of dependency resolution -
You can start here: https://github.com/openSUSE/libsolv/blob/347200107f0f17a3697...
comment by dmacvicar · 2023-02-21 · in Haiku package management -
…solver just for pip instead of adding support for python packages to something like libsolv[0]. [0] https://github.com/openSUSE/libsolv
comment by jgresty · 2019-11-12 · in Seeking Developers for Paid Contract Improving Pip -
libsolv, a free package dependency solver using a satisfiability algorithm. https://github.com/openSUSE/libsolv https://en.opensuse.org/openSUSE:Libzypp_satsolver
comment by froh · 2019-10-01 · in Modern SAT solvers: fast, neat and underused -
…by their end-users). Today's Redhat dnf package manager is based on SUSE's dependency solver ( https://github.com/openSUSE/libsolv ), and both package managers provide a very nice user experience. People seem to be still confused about…
comment by dmacvicar · 2019-03-18 · in Suse is once again an independent company -
…metadata for big amounts of packages in an efficient way and operate the solver directly on it. https://github.com/openSUSE/libsolv
comment by dmacvicar · 2015-05-18 · in Yum is dead, long live DNF