: Go to the Solibri website and download the Model Checker. Follow the installation instructions to set it up on your computer.