More resources#
If you want to learn more about conda-rattler-solver and the projects it is built on, we have compiled a list of additional material you can check:
rattler, the Rust library that powers the solver, and its Python bindings py-rattler
resolvo, the underlying dependency solver, which implements a CDCL-style SAT solver inspired by libsolv
pixi, the package manager that uses the same solver
The “Solvers” page in the conda user guide, which compares the available solver plugins and explains how to switch between them
The “Deep dive: solvers” guide in the conda documentation
conda-libmamba-solver, the other solver plugin for conda, and its “libmamba vs classic” page, which explains many concepts that also apply here
Bencher performance benchmarks for conda-rattler-solver