2.3 Installation

\includegraphics[width=7mm]{img/tick_64.png}

Goals: The objective of this section is to guide you through downloading, installing and starting Rodin. In addition, we explain the update mechanisms needed to install new plugins for Rodin. Finally, we name the Rodin-specific GUI elements and describe their functions.

\includegraphics[width=7mm]{img/tick_64.png}

You can skip this section, if…

  • …you know how to install and update Rodin

  • …you know how to install new plugins for Rodin

\includegraphics[width=7mm]{img/warning_64.png}

Rodin is fairly resource intensive. You need a good computer with plenty of memory to run it. It is recommended to have at least 2GB of RAM.