Skip to main content

Quick environment solver

Project description


IMPORTANT WARNING mungo is experimental, things are very likely to break.

mungo acts as a drop-in replacement for conda create and conda install - but with way faster environment resolution. The improvements in speed are achieved by employing linear programming instead of sat-solving and caching of intermediate results (see "The ILP" for more information).

Note that we do not want to replace conda - we merely wish to share our solution so that it can be tested and perhaps someday be integrated into conda itself.


  • mungo only exposes basic functionality:
    • install (package_spec)+ (--name NAME)? (--channel CHANNEL)* (--file FILE)?
    • create  (package_spec)* (--name NAME)? (--channel CHANNEL)* (--file FILE)?
  • mungo's solutions will not be the same as conda's.
  • mungo cannot handle custom channel urls. Any channel which has repodata.json.bz2 files available from is fine, though.
  • mungo only reads channels from ~/.condarc (but also uses the --channel arguments, if supplied, of course).
  • mungo only supports linux at the moment.


You need a working conda installation, since actual package installation is delegated to conda.

from PIP

pip install mungo


# create an environment named 'foo' with the specified packages
mungo create -n foo "python>=3.7" pulp packaging pyyaml

# create an environment from an environment file (such as mungo.yml)
mungo create --file mungo.yml

# install packages into the current environment
mungo install bwa

# install packages into a different environment
mungo install -n foo bwa


mungo uses an integer linear program to determine a configuration of compatible packages which maximizes version numbers while also keeping channel order in mind.

alt text

After merging, ILP variables ∈ {0, 1} are created for each p-node. These variables relate to (package, version) configurations and tell us whether a configuration is selected for installation (1) or not (0). In a second step, the following ILP constraints are generated from the constrain nodes defined above: For each parent p (variable), the sum of all children (variables) C must be greater or equal to p; in other words: If p is selected, at least one available version of each dependent package must also be selected. If p is not selected for installation (i.e. p = 0), installation status of its dependencies is not relevant (for p).

alt text

alt text


  • version 0.1.4: Show packages that get updated/downgraded/installed.
  • version 0.1.3: Prioritize channels over version numbers. Add '-y/--yes' flag to skip package installation confirmation.
  • version 0.1.0: Initial version.

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for mungo, version 0.8.1
Filename, size File type Python version Upload date Hashes
Filename, size mungo-0.8.1.tar.gz (170.5 kB) File type Source Python version None Upload date Hashes View

Supported by

AWS AWS Cloud computing Datadog Datadog Monitoring Facebook / Instagram Facebook / Instagram PSF Sponsor Fastly Fastly CDN Google Google Object Storage and Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Salesforce Salesforce PSF Sponsor Sentry Sentry Error logging StatusPage StatusPage Status page