#41 ERROR INSTALLING PRO B

[Santiago Grande Arango]

Hello,
I'm installing Rodin for first time and I'm having some issues when installing Pro B Provers.
After installing and relaunching the app, an error message appears:

"Some external prover does not happen to work. Please consult the Rodin platform release notes for further information.
reason: some tactic failed to prove"

Hope you can help me.

[Laurent Voisin]

Yes, it seems that the connection with the ProB server does not work.

Could you please attach the log of the Rodin platform (available from About Rodin platform > Installation details > Configuration tab > View error log ?

[Michael Leuschel]

It would also be interesting to know which version of Rodin and which version of the ProB for Rodin plugin you used. I guess you are running Rodin on Windows?

[Michael Leuschel]

Maybe you can also try and install our new nightly build first; we have extended the error log output.
Nightly builds of ProB for Rodin 3 can be obtained from within Rodin by using the update site https://stups.hhu-hosting.de/rodin/prob1/nightly.