Dependency Solving in Nix

I wrote this as I've seen a few people claiming that Nix can't solve dependency constraints, when I've been doing so for about a decade.