Re: [systemd-devel] SAT for dependencies

2015-03-11 Thread 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

[systemd-devel] SAT for dependencies

2015-03-11 Thread 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