Not OP, but it's a declarative configuration system, so an existing declarative language like Prolog would seem to fit naturally. Declare the relations between

Not OP, but it's a declarative configuration system, so an existing declarative language like Prolog would seem to fit naturally. Declare the relations between packages, the constraints that must be satisfied, and let the compiler perform unification to get the resulting configuration.