Library for solving packages and reading repositories
conda install main::libsolv-static
libsolv, a free package dependency solver using a satisfiability algorithm.