folkslinux
/
mamba
mirror of https://github.com/mamba-org/mamba.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

docs: Adapt "Solving Package Environments" section (#3326) 

Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>
This commit is contained in:
Julien Jerphanion 2024-08-21 05:14:20 -04:00 committed by GitHub
parent f4ab0b2377
commit 2270348727
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
docs/source/usage/solver.rst
View File

@ -13,12 +13,11 @@ Solving Package Environments
The :any:`libmambapy.solver <mamba::solver>` submodule contains a generic API for solving
requirements (|MatchSpec|) into a list of packages (|PackageInfo|) with no conflicting dependencies.
This problem is hard to solve (`NP-complete <https://en.wikipedia.org/wiki/NP-completeness>`_) which
is why Mamba uses a `SAT solver <https://en.wikipedia.org/wiki/SAT_solver>`_ to do so.
.. note::
There is currently only one solver available in Mamba:
Solving Package Environments can be cast as a Boolean satisfiability problem (SAT).
Mamba currently only uses one `SAT solver <https://en.wikipedia.org/wiki/SAT_solver>`_:
`LibSolv <https://en.opensuse.org/openSUSE:Libzypp_satsolver>`_. For this reason, the generic
interface has not been fully completed and users need to access the submodule
:any:`libmambapy.solver.libsolv <mamba::solver::libsolv>` for certain types.
@ -57,15 +56,16 @@ The first way to add a repository is from a list of |PackageInfo| using
The second way of loading packages is through Conda's repository index format ``repodata.json``
using
:cpp:func:`DataBase.add_repo_from_repodata <mamba::solver::libsolv::Database::add_repo_from_repodata>`.
:cpp:func:`DataBase.add_repo_from_repodata_json <mamba::solver::libsolv::Database::add_repo_from_repodata_json>`.
This is meant for convenience, and is not a performant alternative to the former method, since these files
grow large.
.. code:: python
repo2 = db.add_repo_from_repodata(
repo2 = db.add_repo_from_repodata_json(
path="path/to/repodata.json",
url="htts://conda.anaconda.org/conda-forge/linux-64",
channel_id="conda-forge",
)
One of the repositories can be set to have a special meaning of "installed repository".