[systemd-devel] SAT for dependencies

[Max]

Hello.

Part of the core systemd functionality is dependency resolution between jobs which
should be executed. This sounds rather similar to dependencies between packages which
has been solved using SAT solver tools. I wonder if it might make sense to use
something like https://github.com/msoos/cryptominisat from within systemd for that?
Or maybe somebody already tried that? Also, am I right that dependency resolution
logic is in src/core/job.c or I should look into some other code as well?

best regards,
Max.