Provide a binary distribution with all dependencies

[iirekm]

The custom compilation process is pretty complex because of lots of dependencies (Python, Java, Rust, solvers), some of which not so easy to set up. A distribution in form od "no-brainer" script, APT package or Docker image would be great.

[urikirsh]

Thank you for the feedback. We understand that the full development setup can be quite complex due to the various dependencies involved. The good news is that this setup is only needed for contributors working on the Prover itself.

To run the Certora Prover, it’s enough to create an account and install the required components via the Python package (pip install certora-cli).

While providing a simplified distribution such as an APT package or Docker image isn’t a current priority, we appreciate the suggestion and will keep it in mind for the future.

[banshee]

"To run the Certora Prover, it’s enough to create an account and install the required components via the Python package (pip install certora-cli)."

Doesn't that only install the version that runs on the Certora cloud? Or does it also install a version that runs locally?