Spack's new Concretizer Dependency solving is more than just SAT!