I have downloaded and used Cube Explorer once, so I am no expert in using it. I have never used any other optimal solver to solve scrambled 3x3x3 cube, therefore I don´t know what software is currently available.

I have a set of 10 000 3x3x3 scrambles in Singmaster notation (without cube rotations, slice moves and wide moves) in a .txt file, each scramble on new line.

I would like to ask if there is an optimal 3x3x3 solver which would take that file and output an optimal move count (optionally, however not necessarily, also solution in Singmaster notation) for each scramble in HTM?

I am willing to install Python (maybe Java) or use chatgpt if needed (e.g. if solver requires different input format), but it would be nice if the program could do all that stuff already.