conda-libmamba-solver reuses the same pool between solve attempts but creates a new solver each attempt. The solver initialization calls create_whatprovides and wipes the whatprovides relationships added for the channel specific matchspecs.
The problem with this is that the channel specific match spec is still present in the pool's string cache so later add_jobs calls just return the id for the channel specific match spec without readding the wiped whatprovides
https://github.com/conda/conda-libmamba-solver/issues/447
conda-libmamba-solverreuses the same pool between solve attempts but creates a new solver each attempt. The solver initialization callscreate_whatprovidesand wipes the whatprovides relationships added for the channel specific matchspecs.The problem with this is that the channel specific match spec is still present in the pool's string cache so later
add_jobscalls just return the id for the channel specific match spec without readding the wiped whatprovides