Dear Thomas and everyone else interested!
Before re-inventing the wheel, you might take a closer look at this Google
summer of code project in 2016:
https://wiki.gentoo.org/wiki/Google_Summer_of_Code/2016/Ideas/Continuous_Stabilization
I do not know how far the author got but it might be a good
ernel and the linux kernel build is always
transparent for anybody who
wants to use/look into it.
Best wishes,
Harald Weiner
/997078ebbf1aa86ba17fa53e400e4c99d7d640b7/Documents/SAT-Solver.md
Actually, the guy who coded on this GSoC project and wrote the article
used a SAT solver to find out all possible legal use-flag combinations.
So maybe this solution can prevent someone from re-inventing the wheel ;-).
Best wishes,
Harald Weiner.
>>&g
