1. Download Visual Studio 2017 Community (or Visual Studio 2017 Professional) https://visualstudio.microsoft.com/vs/community/
2. Run the Visual Studio 2017 installer
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.