[systemd-devel] SAT for dependencies

Zbigniew Jędrzejewski-Szmek zbyszek at in.waw.pl
Wed Mar 11 06:31:54 PDT 2015

On Wed, Mar 11, 2015 at 01:25:36PM +0100, Max wrote:
> 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?
Not really. The dependency solver is very simple, because the dependencies
are simple and are solved greedily.

> 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?


More information about the systemd-devel mailing list