Move Prover stuck at configured prover "" could not be found

[SteMak]

Trying to run aptos move prove but getting stuck with the error during the running solver stage

"Error": "Move Prover failed: The configured prover `` could not be found"

I suppose some deps are missed but had not succeed in my search.

[Alexzander-Stone]

Hi @SteMak, what steps did you take to set up the Move Prover? Additionally, please include your OS.

In the installation guide, you'll notice that you need to specify that you're installing additional Move tools.
For example, Linux/macOS users will use ./scripts/dev_setup.sh -yp, where -yp is required to install Move Prover dependencies.

[SteMak]

Thank you for your answer
Yeap, there were missed dependencies successfully installed by the dev_setup script

Be aware, that the script may additionally upgrade some system components