1. Download Visual Studio 2017 Community (or Visual Studio 2017 Professional) https://visualstudio.microsoft.com/vs/community/

2. Run the Visual Studio 2017 installer

• Select the Workloads to install.
• Desktop Development with C++

3. Download and install EiffelStudio 19.05

https://ftp.eiffel.com/pub/download

4. Setup EiffelStudio to work with Microsoft Visual Studio C++ compiler You can set the environment variable ISE_C_COMPILER to msc_vc140

https://www.eiffel.org/doc/eiffelstudio/Supported_C_compilers

5 - Download Mathmodels Mathodels

6 - EiffelStudio will attempt a precompile. Ensure that you have deleted all previous precompiles from before, before launching Estudio for the first time.