* The SAT wrapper? * The SAT library? * The math library the SAT library depends upon? * The LibC? * The operating system? * The processor? * The lithography machine manufacturers? * The guys that provided the raw silicone?
Two framings to attempt to answer your question reasonably:
Framing 1: Should information on all the things you listed be available & accessible? In an ideal world, I think so.
Of course that doesn't translate to all of them being pushed into users faces while they attempt to play Factorio (they don't even know how to install python & haven't even unlocked balancers yet). It just means: can I find it on the internet. Right now, thankfully, I can for most of it (sadly silicon supply chain transparency isn't quite where it could be).
Framing 2: Should the above information be readily apparent: that's a question that's much more dependent on degrees of abstraction. In this case, the gp is offering feedback that the SAT libraries are at a level of abstraction that makes them relevant enough to someone running the python tool in their cli. I would tend to agree.