The Mathmodels Library is already installed on all Prism workstations and on the SEL-VM (Software Engineering Virtual Machine).

Mathmodels is available as a zip at http://www.eecs.yorku.ca/~eiffel/zip/mathmodels.zip

If you are working on your own Laptop, you may obtain the Mathmodels library by logging in as anonymous (blank password) via:

svn export http://svn.eecs.yorku.ca/repos/sel-open/mathmodels/

> mkdir mathmodels
> scp -r student@red.eecs.yorku.ca:/eecs/fac/share/sel/mathmodels/library mathmodels

You need to set an environmental variable $MATHMODELS. On Linux and OSX:

export ISE_EIFFEL=/usr/local/Eiffel_18.11
export ISE_PLATFORM=macosx-x86-64
export MATHMODELS=/home/user/me/mathmodels
export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin

Documentation for Mathmodels