This page describes how to set up a development environment for ProB.
We have prepared an Eclipse Team SetFile:ProB complete.psf that contains all subprojects, i.e. ProB core, B-Motion Studio, AnimationScript, Disprover and the standalone Version. It also includes the Rodin release used for ProB.