Hi all, this looks cool! > This support is provided within xconfig. Sorry I haven't read properly enough to be able to answer this for myself but I suspect I'm not the only one idly wondering... Would it be easy enough to provide this support as a standalone binary that can be called from scripts/config too? Personally, the only reason I ever use xconfig (well, I use menuconfig, but same thing) is to navigate "conflicts". If that problem went away I'd have no more reason to open it except to access the cool SAT thing, so it would be even more convenient to cut out the middleman.
