You are of course correct but to be pedantic:

Stockfish isn't really a solver it's a neural net based engine