solver: libmamba