It solves this already and has done for many years (but this depends on what you mean exactly by "the way that Nix does").

Can you elaborate? Conda packages have full metadata descriptions for system-level dependencies. I agree with you that conflicts and diamond dependencies lurk everywhere, which is precisely the reason Conda employs a SAT solver.