mamba-org/mamba
Mamba
Mamba is a package manager for scientific and data science workflows that implements a high-performance dependency solver in C++. It uses a SAT-based resolution model and a specialized library for metadata processing to calculate compatible package versions across different operating systems.
The project provides a standalone executable runtime, allowing the creation of isolated package environments without requiring a pre-existing system installation. It ensures reproducible environment setup by utilizing lock files to pin exact package versions and channels.
The system supports containerized deployment and execution to prevent host system contamination and facilitate consistent behavior across platforms. It also includes capabilities for bootstrapping continuous integration environments and executing commands within isolated software environments.
Features
- Package Dependency Managers - Implements a high-performance dependency solver for resolving, installing, and updating software package dependencies.
- Package Metadata Querying - Uses the libsolv library to parse and query structured package metadata for rapid dependency graph construction.
- Remote Repository Querying - Retrieves package details and dependency relationships by querying structured metadata from remote software repositories.
- SAT-Based Solvers - Uses a C++ implementation of a SAT-based resolution model to calculate compatible package versions quickly.
- Package Installers - Creates reproducible environments by installing specific package versions as defined in lock files.
- Standalone Installers - Creates isolated package environments using a standalone executable that does not require a pre-existing system installation.
- Solver Library Integrations - Leverages the specialized libsolv library to calculate compatible package versions through metadata graphs.
- Lock-File Pinning - Ensures reproducible environment setups by utilizing lock files to pin exact package versions and channels.
- Standalone Binaries - Bundles the package manager into a single executable to allow usage without a pre-existing system installation.
- C++ Implementations - Utilizes a C++ core implementation to move computationally heavy dependency solving for significant performance gains.
- SAT Solvers - Implements a high-performance SAT solver in C++ to resolve complex package dependency trees.
- Standalone Runtime Bundling - Provides a standalone runtime bundling that allows environment creation without a pre-existing system installation.
- SAT-Based Dependency Resolution - Calculates compatible package versions by mapping dependency constraints to a boolean satisfiability problem.
- Environment Bootstrapping - Accelerates continuous integration pipelines by bootstrapping a standalone package manager and caching environments.
- Isolated Execution Environments - Executes specific tasks or scripts within designated isolated environments without requiring manual shell activation.
- Lock Files - Records the exact version and channel of every installed package in a static lock file for reproducibility.
- Reproducible Build Environments - Builds reproducible software environments using text or lock files to ensure consistency across platforms.
- CI Pipeline Optimizers - Accelerates continuous integration workflows by bootstrapping standalone package managers and caching pre-built environments.
- Dependency Lock Files - Ensures reproducible setups by pinning exact package versions and channels within dedicated lock files.
- Container Command Execution - Executes installation and runtime commands within pre-configured container images to prevent host system contamination.
- Container Deployment - Uses pre-configured container images containing the environment and package manager for consistent deployment.
- Containerized Deployments - Supports deployment via pre-configured container images to ensure consistent behavior across different platforms.
- Package Managers - High-performance alternative to standard package managers.
