[systemd-devel] SAT for dependencies

Max maxim.suraev at campus.tu-berlin.de
Wed Mar 11 05:25:36 PDT 2015


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,

More information about the systemd-devel mailing list