Are questions about software that is specifically designed to solve computer science problems on-topic?
The answer may well be “it depends”, so where do we draw the line?
For example, is a question about concrete usage of a SAT solver on-topic here? On the one hand, this is a programming question. On the other hand, the purpose of that programming is directly to solve a computer science problem.
We have already had an inconclusive discussion on proof assistants.
the purpose of that programming is directly to solve a computer science problem.
This is not quite it. The asker may be trying to solve a problem in their domain using computer science (tools). In my opinion, tool support questions are feasible here if
(1) can (but does not have to) imply that a good answer to the question should carry over to other, similar tools. For example, a question asking how to do something in proof assisstant X can cause answers that can be applied to proof assisstant Y. We have had examples of such questions, iirc.
Regarding (2), proof assisstants and SAT solvers are, arguably, artefacts of computer science. Most other tools are not. Compilers can be seen as such; here it depends on which aspect the question touches. Questions about the principles underlying a certain optimisation in the gcc are ok, questions of the kind "What does compiler flag -g do?" not.
I don't know anything about the tools referenced in the linked question and the OP does not give much information, but it seems to me that (1) is violated.
