On Mon, Feb 10, 2025 at 02:00:52PM +0900, Masahiro Yamada wrote: > Thanks for this, but I have no plans to merge the SAT solver. > > The reason is that my future plan is to move toolchain selection > to the Kconfig stage instead of specifying it statically from the command line. That makes sense. > This approach was suggested by Linus [1], and to achieve that, > the shell evaluation must be dynamically re-evaluated [2]. Sure. > The SAT solver would likely conflict with this plan. At least due to the > significant amount of additional code, which would be an obstacle. I can't see how the toolchain selection, if set on Kconfig can't be leveraged later to enable / disable the SAT solver, however I can see the amount of code shuffling incurred to be an extra hurdle to address and a preference to leave that for later. In other words, I susepct it is still possible to evaluate to add support for the SAT solver post toolchain kconfig integration. Thoughts? Luis
