conda.api.Solver