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.

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.

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.

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.