[systemd-devel] SAT for dependencies

[Zbigniew Jędrzejewski-Szmek]

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?
src/core/transaction.c.

Zbyszek