UnsupportedConstituents error is not helpful about autokernel HOT 2 CLOSED

Expressions can now be evaluated if they contain < <= > or >= with integer compatible symbols. The satisfier cannot automatically resolve these, but usually they are static assertions for e.g. compiler versions that shouldn't need to be changed anyway. Your original expression should work without changes now. :)

from autokernel.

True, that's not helpful. I've added a little more information for these cases, and I'm working on adding readable names (done). In this particular case you seem to be running into a less-than expression somewhere in the dependency tree. Comparisons are rare and unfortunately kind of impossible to solve automatically compared to boolean algebra, which is why they are currently unsupported. Due to the nature of these symbols there just is no heuristic that I could use to determine a good value since they often include hidden implications (imagine SOME_ALIGNMENT > 0) that we cannot gain information about in code.

It probably would be a good idea to parse them anyhow and just refuse solving them if they are unmet. That way it would at least be possible to set them manually before calling satisfy. I'll look into it tomorrow.

from autokernel.